Diagrammatic Confluence and Completion
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 212-222
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Confluence by Decreasing Diagrams2008
- On word problems in equational theories1987
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- A complete proof of correctness of the Knuth-Bendix completion algorithmJournal of Computer and System Sciences, 1981
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942