Pages that link to "Item:Q4680589"
From MaRDI portal
The following pages link to FINITENESS CONDITIONS FOR REWRITING SYSTEMS (Q4680589):
Displaying 10 items.
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- On higher order homological finiteness of rewriting systems. (Q557065) (← links)
- For groups the property of having finite derivation type is equivalent to the homological finiteness condition \(FP_ 3\) (Q674765) (← 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)
- Semigroups with finitely generated universal left congruence (Q2332955) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Finite canonical rewriting systems for congruences generated by concurrency relations (Q3779772) (← links)
- (Q4942275) (← links)