The first-order theory of one-step rewriting is undecidable
From MaRDI portal
Publication:5055866
DOI10.1007/3-540-61464-8_59zbMath1503.68162MaRDI QIDQ5055866
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-61464-8_59
Related Items
Grid structures and undecidable constraint theories, The first-order theory of linear one-step rewriting is undecidable, Iterated relabeling tree transducers, On rewrite constraints and context unification, The undecidability of the first-order theories of one step rewriting in linear canonical systems, Thue trees