The following pages link to (Q4942275):
Displaying 18 items.
- Homotopy bases and finite derivation type for subgroups of monoids. (Q403106) (← links)
- Finite derivation type for semilattices of semigroups. (Q444671) (← links)
- On higher order homological finiteness of rewriting systems. (Q557065) (← links)
- Transformations of expressions associated with systems of recursion relations (Q579918) (← links)
- Finite complete rewriting systems for regular semigroups. (Q627163) (← links)
- On some homotopical and homological properties of monoid presentations. (Q927282) (← links)
- The problems of cyclic equality and conjugacy for finite complete rewriting systems (Q1089798) (← links)
- A finiteness condition for rewriting systems (Q1331943) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. (Q1399980) (← links)
- Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
- Invariants and closures in the theory of rewrite systems (Q1815344) (← 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)
- Complete involutive rewriting systems (Q2466871) (← links)
- (Q3343462) (← links)
- Antimirov and Mosses’s Rewrite System Revisited (Q3602800) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- Rewrite systems for natural, integral, and rational arithmetic (Q4594221) (← links)
