A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

DOI10.4230/LIPIcs.RTA.2011.91zbMath1236.68115arXiv1203.5121OpenAlexW2756087029MaRDI QIDQ5389075

Takahito Aoto, Yoshihito Toyama

Publication date: 24 April 2012

Full work available at URL: https://arxiv.org/abs/1203.5121

zbMATH Keywords

completionconfluenceequational term rewriting systemsconfluence modulo equations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Decreasing diagrams and relative termination