Guided unfoldings for finding loops in standard term rewriting

DOI10.1007/978-3-030-13838-7_2zbMath1524.68165arXiv1808.05065OpenAlexW2885381454MaRDI QIDQ6085974

Étienne Payet

Publication date: 9 November 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.05065

zbMATH Keywords

loopunfoldingdependency pairsterm-rewrite systemsnon-termination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: Guided unfoldings for finding loops in standard term rewriting