Pages that link to "Item:Q1162505"
From MaRDI portal
The following pages link to Thue congruences and the Church-Rosser property (Q1162505):
Displayed 9 items.
- Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)
- On two problems related to cancellativity (Q1070349) (← links)
- Complexity of certain decision problems about congruential languages (Q1085618) (← links)
- Thue systems as rewriting systems (Q1099642) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Infinite regular Thue systems (Q1839248) (← links)
- Undecidable questions related to Church-Rosser Thue systems (Q1839249) (← links)
- SOME EXACT SEQUENCES FOR THE HOMOTOPY (BI-)MODULE OF A MONOID (Q4786319) (← links)
- Restrictions of congruences generated by finite canonical string-rewriting systems (Q5055732) (← links)