Reachability in Unions of Commutative Rewriting Systems Is Decidable

DOI10.1007/978-3-540-70918-3_53zbMATH Open1186.68231OpenAlexW1535929369MaRDI QIDQ3590971FDOQ3590971

Piotr Hoffman, Mikołaj Bojańczyk

Publication date: 3 September 2007

Published in: STACS 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70918-3_53

Recommendations

• Decidability of reachability for disjoint union of term rewriting systems
• Algorithms and reductions for rewriting problems
• On deciding confluence of finite string-rewriting systems modulo partial commutativity
• scientific article; zbMATH DE number 3878366
• scientific article; zbMATH DE number 789389

zbMATH Keywords

logic in computer sciencerewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• On deciding the confluence of a finite string-rewriting system on a given congruence class
• Some decidability results on one-pass reductions

This page was built for publication: Reachability in Unions of Commutative Rewriting Systems Is Decidable

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