Labelings for Decreasing Diagrams
Open Access
- 17 December 2014
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 54 (2) , 101-133
Abstract
No abstract availableKeywords
All Related Versions
This publication has 17 references indexed in Scilit:
- Confluence of Non-Left-Linear TRSs via Relative Termination2012
- Decreasing Diagrams and Relative TerminationJournal of Automated Reasoning, 2011
- Proving Confluence of Term Rewriting Systems Automatically2009
- Confluence by Decreasing Diagrams2008
- Term Rewriting and All That1998
- Simultaneous critical pairs and Church-Rosser property1998
- Confluence without termination via parallel critical pairs1996
- Confluence by decreasing diagramsTheoretical Computer Science, 1994
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.1970