AC-unification race: The system solving approach and its implementation
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Efficient solution of linear diophantine equationsJournal of Symbolic Computation, 1989
- Unification in a combination of arbitrary disjoint equational theoriesJournal of Symbolic Computation, 1989
- On equational theories, unification, and (Un)decidabilityJournal of Symbolic Computation, 1989
- Adventures in associative-commutative unificationJournal of Symbolic Computation, 1989
- Opening the AC-unification raceJournal of Automated Reasoning, 1988
- NP-completeness of the set unification and matching problemsPublished by Springer Nature ,1986
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- An algorithm to generate the basis of solutions to homogeneous linear diophantine equationsInformation Processing Letters, 1978