Termination by Quasi-periodic Interpretations
From MaRDI portal
Publication:5432354
DOI10.1007/978-3-540-73449-9_30zbMath1203.68081MaRDI QIDQ5432354
Hans Zantema, Johannes Waldmann
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
68Q42: Grammars and rewriting systems
Related Items
Increasing Interpretations, KBO orientability, Increasing interpretations, Arctic Termination ...Below Zero, Root-Labeling, Automatic Termination