A total, ground path ordering for proving termination of AC-rewrite systems

DOI10.1007/3-540-62950-5_67zbMath1379.68197OpenAlexW1569570379MaRDI QIDQ4594224

Deepak Kapur, G. Sivakumar

Publication date: 17 November 2017

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-62950-5_67

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Modular and incremental proofs of AC-termination ⋮ A fully syntactic AC-RPO.

This page was built for publication: A total, ground path ordering for proving termination of AC-rewrite systems