Author:
Otto Friedrich,Sattler-Klein Andrea
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R.V. Book and F. Otto. String-Rewriting Systems. Springer-Verlag, New York, 1993.
2. R. Cremanns and F. Otto. Finite derivation type implies the homological finiteness condition FP 3. J. Symbolic Computation, 18:91–112, 1994.
3. R. Cremanns and F. Otto. For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP 3. J. Symbolic Computation, 22:155–177, 1996.
4. V. Diekert. Private communication. March 1997.
5. D. Knuth and P. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263–297. Pergamon Press, New York, 1970.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献