Pages that link to "Item:Q1338340"
From MaRDI portal
The following pages link to Finite derivation type implies the homological finiteness condition \(FP_ 3\) (Q1338340):
Displaying 6 items.
- Homotopy bases and finite derivation type for subgroups of monoids. (Q403106) (← links)
- Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
- The next step of the word problem over monoids. (Q648197) (← links)
- Bottom-up rewriting for words and terms (Q741256) (← links)
- Finite complete rewriting systems and finite derivation type for small extensions of monoids (Q1270963) (← links)
- Finite homotopy bases of one-relator monoids (Q1579154) (← links)