AC Dependency Pairs Revisited
From MaRDI portal
Publication:5278394
DOI10.4230/LIPIcs.CSL.2016.8zbMath1369.68250OpenAlexW2543273993MaRDI QIDQ5278394
Christian Sternagel, Akihisa Yamada, Keiichirou Kusakari, René Thiemann
Publication date: 19 July 2017
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2016.8
Related Items (3)
Transforming orthogonal inductive definition sets into confluent term rewrite systems ⋮ On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs ⋮ Applications and extensions of context-sensitive rewriting
Uses Software
This page was built for publication: AC Dependency Pairs Revisited
