Solving inequations in terms algebras
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Complete axiomatizations of the algebras of finite, rational and infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Equational inference, canonical proofs, and proof orderingsJournal of the ACM, 1994
- Equational problems anddisunificationJournal of Symbolic Computation, 1989
- Decidability of the purely existential fragment of the theory of term algebrasJournal of the ACM, 1987
- Termination of rewritingJournal of Symbolic Computation, 1987
- On word problems in equational theoriesPublished by Springer Nature ,1987