The following pages link to (Q4421599):
Displaying 5 items.
- Finite derivation type for semilattices of semigroups. (Q444671) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. (Q1399980) (← links)
- On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids (Q2013556) (← links)
- Finite derivation type for Rees matrix semigroups (Q2368998) (← links)
- FDT is undecidable for finitely presented monoids with solvable word problems (Q5055951) (← links)
