The following pages link to (Q3319766):
Displayed 6 items.
- Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group (Q760506) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Some undecidability results concerning the property of preserving regularity (Q1274984) (← links)
- Infinite regular Thue systems (Q1839248) (← links)
- Undecidable questions related to Church-Rosser Thue systems (Q1839249) (← links)
- Church-Rosser property and decidability of monadic theories of unary algebras (Q3781062) (← links)