Confluence by Decreasing Diagrams
- 1 January 2008
- book chapter
- Published by Springer Nature
- p. 306-320
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- New up-to techniques for weak bisimulationTheoretical Computer Science, 2007
- Random DescentLecture Notes in Computer Science, 2007
- Generalizing Newman’s Lemma for Left-Linear Rewrite SystemsLecture Notes in Computer Science, 2006
- Advanced Topics in Term Rewriting2002
- A geometric proof of confluence by decreasing diagramsJournal of Logic and Computation, 2000
- Braids and Self-Distributivity2000
- Diagram Techniques for ConfluenceInformation and Computation, 1998
- Confluence by decreasing diagramsTheoretical Computer Science, 1994
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942