scientific article; zbMATH DE number 1405622

MaRDI QIDQ4938601zbMATH OpenFDO

Authors Sébastien Limet, Pierre Réty

Publication date 23 February 2000

zbMATH Keywords

decision procedureexistential fragmentone-step rewriting first-order theoryrewrite systemstree-tuple synchronized grammars

Mathematics Subject Classification ID

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

Recommendations

• The first-order theory of linear one-step rewriting is undecidable
• The first-order theory of one-step rewriting is undecidable
• The Existential Fragment of the One-Step Parallel Rewriting Theory
• Publication:4938600
• scientific article; zbMATH DE number 176501

Cited in

(6)

• The first-order theory of linear one-step rewriting is undecidable
• On rewrite constraints and context unification
• Some decidability results on one-pass reductions
• The Existential Fragment of the One-Step Parallel Rewriting Theory
• scientific article; zbMATH DE number 1405621 (Why is no real title available?)
• The first-order theory of one-step rewriting is undecidable

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4938601)