For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP3

• Authors:

• Robert Cremanns;Friedrich Otto

• Affiliations:

• -;-

• Venue:
• Journal of Symbolic Computation
• Year:
• 1996