Termination by Quasi-periodic Interpretations

DOI10.1007/978-3-540-73449-9_30zbMath1203.68081OpenAlexW1812906155MaRDI QIDQ5432354

Johannes Waldmann, Hans Zantema

Publication date: 2 January 2008

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

Full work available at URL: https://research.tue.nl/nl/publications/09362526-dfdf-4beb-9d57-551d6075163f

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

KBO orientability ⋮ Arctic Termination ...Below Zero ⋮ Root-Labeling ⋮ Automatic Termination ⋮ Increasing interpretations ⋮ Increasing Interpretations

This page was built for publication: Termination by Quasi-periodic Interpretations