Adventures in associative-commutative unification (A summary)
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 358-367
- https://doi.org/10.1007/bfb0012843
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unificationJournal of Automated Reasoning, 1987
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- An algebraic approach to unification under associativity and commutativityLecture Notes in Computer Science, 1985
- Associative-Commutative UnificationPublished by Springer Nature ,1984
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- An algorithm to generate the basis of solutions to homogeneous linear diophantine equationsInformation Processing Letters, 1978
- A Complete Unification Algorithm for Associative-Commutative FunctionsPublished by Defense Technical Information Center (DTIC) ,1975
- Ueber die Auflösung linearer Gleichungen mit reellen CoefficientenMathematische Annalen, 1873