The first-order theory of one step rewriting in linear noetherian systems is undecidable
From MaRDI portal
Publication:4594233
DOI10.1007/3-540-62950-5_76zbMath1379.68206MaRDI QIDQ4594233
Publication date: 17 November 2017
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-62950-5_76
Related Items
Grid structures and undecidable constraint theories, The first-order theory of linear one-step rewriting is undecidable, On rewrite constraints and context unification, The undecidability of the first-order theories of one step rewriting in linear canonical systems, Thue trees, The Existential Fragment of the One-Step Parallel Rewriting Theory