Ground Confluence Prover based on Rewriting Induction

DOI10.4230/LIPIcs.FSCD.2016.33zbMath1387.68205OpenAlexW2491573813MaRDI QIDQ5369498

Yoshihito Toyama, Takahito Aoto

Publication date: 17 October 2017

Full work available at URL: https://doi.org/10.4230/lipics.fscd.2016.33

zbMATH Keywords

term rewriting systemsground confluencerewriting inductionnon-orientable equations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs ⋮ First-order theory of rewriting for linear variable-separated rewrite systems: automation, formalization, certification ⋮ Improving rewriting induction approach for proving ground confluence

Uses Software

• CSI
• Saigawa

This page was built for publication: Ground Confluence Prover based on Rewriting Induction