The following pages link to (Q3026992):
Displayed 9 items.
- A finitely presented monoid which has solvable word problem but has no regular complete presentation (Q673144) (← links)
- Complete rewriting systems and homology of monoid algebras (Q923133) (← links)
- Complexity, combinatorial group theory and the language of palutators (Q1105698) (← links)
- A finiteness condition for rewriting systems (Q1331943) (← links)
- A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier) (Q1892306) (← links)
- Ends for subsemigroups of finite index. (Q2634952) (← links)
- A decidable word problem without equivalent canonical term rewriting system (Q3816049) (← links)
- Church-Rooser property and homology of monoids (Q4006234) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)