Deciding unique termination of permutative rewriting systems: Choose your term algebra carefully
- 1 January 1980
- book chapter
- Published by Springer Nature
- p. 335-355
- https://doi.org/10.1007/3-540-10009-1_26
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Conflunt reductions: Abstract properties and applications to term rewriting systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965