Complete axiomatizations of some quotient term algebras
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Equational formulas in order-sorted algebrasPublished by Springer Nature ,2005
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Solving inequations in terms algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Proof transformations for equational theoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Syntactic theories and unificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The theory of ground rewrite systems is decidablePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Decidability of the purely existential fragment of the theory of term algebrasJournal of the ACM, 1987
- On equational theories, unification and decidabilityPublished by Springer Nature ,1987
- Fast Decision Procedures Based on Congruence ClosureJournal of the ACM, 1980