Pages that link to "Item:Q1839249"
From MaRDI portal
The following pages link to Undecidable questions related to Church-Rosser Thue systems (Q1839249):
Displaying 17 items.
- Finite complete rewriting systems and the complexity of word problem (Q791314) (← links)
- Homogeneous Thue systems and the Church-Rosser property (Q798317) (← links)
- Thue systems as rewriting systems (Q1099642) (← links)
- Church-Rosser controlled rewriting systems and equivalence problems for deterministic context-free languages (Q1120292) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Some properties of finite special string-rewriting systems (Q1201349) (← links)
- A field guide to equational logic (Q1201350) (← links)
- On the Knuth-Bendix completion for concurrent processes (Q1262753) (← links)
- Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings (Q1275014) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. (Q1401160) (← links)
- Cancellativity in finitely presented semigroups (Q1824041) (← links)
- Lambda-confluence for context rewriting systems (Q2344748) (← links)
- On reduced thue systems (Q3722483) (← links)
- A note on thue systems with a single defining relation (Q3735697) (← links)
- An equational logic sampler (Q5055725) (← links)
- Restrictions of congruences generated by finite canonical string-rewriting systems (Q5055732) (← links)
- On public-key cryptosystem based on Church-Rosser string-rewriting systems (Q6064030) (← links)
