A new decidability technique for ground term rewriting systems with applications
From MaRDI portal
Publication:5277717
DOI10.1145/1042038.1042042zbMath1367.68156MaRDI QIDQ5277717
Rakesh M. Verma, Ara Hayrapetyan
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1042038.1042042
68Q42: Grammars and rewriting systems
Related Items
New Undecidability Results for Properties of Term Rewrite Systems, Levels of undecidability in rewriting, Unique Normalization for Shallow TRS