Opening the AC-unification race
- 1 December 1988
- journal article
- problem corner
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 4 (4) , 465-474
- https://doi.org/10.1007/bf00297251
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- Rewrite methods for clausal and non-clausal theorem provingPublished by Springer Nature ,2006
- RRL: A rewrite rule laboratoryPublished by Springer Nature ,2005
- A new approach to universal unfication and its application to AC-unificationPublished by Springer Nature ,2005
- Solving disequations in equational theoriesPublished by Springer Nature ,2005
- 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
- Some tools for an inference laboratory (ATINF)Published by Springer Nature ,1988
- An equational approach to theorem proving in first-order predicate calculusACM SIGSOFT Software Engineering Notes, 1985
- 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