Fair termination is decidable for ground systems
From MaRDI portal
Publication:5055739
DOI10.1007/3-540-51081-8_126zbMath1503.68160MaRDI QIDQ5055739
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-51081-8_126
68Q42: Grammars and rewriting systems
Related Items