Dealing with Non-orientable Equations in Rewriting Induction

DOI10.1007/11805618_18zbMath1151.68627OpenAlexW1538091296MaRDI QIDQ3527298

Takahito Aoto

Publication date: 25 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11805618_18

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities, Mechanically certifying formula-based Noetherian induction reasoning, Inductive proof search modulo