The Existential Fragment of the One-Step Parallel Rewriting Theory

DOI10.1007/978-3-642-02348-4_6zbMath1242.68140OpenAlexW1517274980MaRDI QIDQ3636820

Aleksy Schubert

Publication date: 30 June 2009

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02348-4_6

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The first-order theory of linear one-step rewriting is undecidable
• On rewrite constraints and context unification
• Rewriting logic: Roadmap and bibliography
• On the undecidability of second-order unification
• Learning to win process-control games watching game-masters
• Toward the concurrent implementation of computational systems
• Undecidability of the first order theory of one-step right ground rewriting
• The first-order theory of one step rewriting in linear noetherian systems is undecidable
• Grid structures and undecidable constraint theories

This page was built for publication: The Existential Fragment of the One-Step Parallel Rewriting Theory