Publication | Closed Access
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
18
Citations
6
References
1986
Year
Unknown Venue
Completeness ResultProgramming Language TheoryFormal SpecificationEngineeringData ScienceProgram AnalysisAutomated ReasoningVerificationAbstract InterpretationFormal MethodsFormal TechniqueComputer ScienceUnification GrammarSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1