Sufficient completeness, term rewriting systems and ”anti-unification”
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 128-140
- https://doi.org/10.1007/3-540-16780-3_85
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Semantic confluence tests and completion methodsInformation and Control, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- Linear unificationJournal of Computer and System Sciences, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- The Design of Data Type SpecificationsPublished by Defense Technical Information Center (DTIC) ,1976