Confluence without termination via parallel critical pairs
Author:
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 211-225
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Confluence by decreasing diagramsTheoretical Computer Science, 1994
- Rewrite Systems1990
- 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