Equational problems anddisunification
- 1 March 1989
- journal article
- Published by Elsevier BV in Journal of Symbolic Computation
- Vol. 7 (3-4), 371-425
- https://doi.org/10.1016/s0747-7171(89)80017-3
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Refined compiliation of pattern-matching for functional languagesScience of Computer Programming, 1988
- Explicit representation of terms defined by counter examplesJournal of Automated Reasoning, 1987
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Proving termination with multiset orderingsCommunications of the ACM, 1979
- The algebraic specification of abstract data typesActa Informatica, 1978
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965