A new AC unification algorithm with an algorithm for solving systems of diophantine equations
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 289-299
- https://doi.org/10.1109/lics.1990.113755
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Associative-commutative unificationPublished by Springer Nature ,2006
- Unification in a combination of arbitrary disjoint equational theoriesPublished by Springer Nature ,2005
- Adventures in associative-commutative unification (A summary)Published by Springer Nature ,2005
- Unification in Boolean Rings and Abelian GroupsJournal of Symbolic Computation, 1989
- From Unification in Combination of Equational Theories to a New AC-Unification AlgorithmPublished by Elsevier ,1989
- An algebraic approach to unification under associativity and commutativityJournal of Symbolic Computation, 1987
- Unification in combinations of collapse-free theories with disjoint sets of function symbolsPublished by Springer Nature ,1986
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- An algorithm to generate the basis of solutions to homogeneous linear diophantine equationsInformation Processing Letters, 1978