Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.

DOI10.4230/LIPIcs.RTA.2010.7zbMath1236.68114OpenAlexW1516143638MaRDI QIDQ5389131

Takahito Aoto

Publication date: 25 April 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_0da0.html

zbMATH Keywords

confluenceterm rewriting systemsautomationdecreasing diagrams

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (5)

Unnamed Item ⋮ CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems ⋮ Decreasing diagrams and relative termination ⋮ CSI – A Confluence Tool ⋮ Labelings for decreasing diagrams

Uses Software

• Yices

This page was built for publication: Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.