Undecidable questions related to Church-Rosser Thue systems
From MaRDI portal
(Redirected from Publication:1839249)
Cites work
- Confluent and Other Types of Thue Systems
- Homogeneous Thue systems and the Church-Rosser property
- scientific article; zbMATH DE number 3850463 (Why is no real title available?)
- scientific article; zbMATH DE number 3065841 (Why is no real title available?)
- Infinite regular Thue systems
- Monadic Thue systems
- Recursive unsolvability of a problem of Thue
- Recursive unsolvability of group theoretic problems
- Testing for the Church-Rosser property
- Thue congruences and the Church-Rosser property
Cited in
(17)- Thue systems as rewriting systems
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages
- When is an extension of a specification consistent? Decidable and undecidable cases
- Some properties of finite special string-rewriting systems
- A field guide to equational logic
- On the Knuth-Bendix completion for concurrent processes
- Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
- Undecidable properties of monoids with word problem solvable in linear time.
- Cancellativity in finitely presented semigroups
- Lambda-confluence for context rewriting systems
- On reduced thue systems
- A note on thue systems with a single defining relation
- An equational logic sampler
- Restrictions of congruences generated by finite canonical string-rewriting systems
- On public-key cryptosystem based on Church-Rosser string-rewriting systems
- Finite complete rewriting systems and the complexity of word problem
- Homogeneous Thue systems and the Church-Rosser property
This page was built for publication: Undecidable questions related to Church-Rosser Thue systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1839249)
