Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference23 articles.
1. Cremanns, R., Otto, F.: For groups the property of having finite derivation type is equivalent to the homological finiteness condition FP3. J. Symb. Comput. 22, 155–177 (1996)
2. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Commun. Assoc. Comput. Mach. 22, 465–476 (1979)
3. Gilbert, N.D.: Monoid presentations and associated groupoids. Int. J. Algebra Comput. 8, 141–152 (1998)
4. Guba, V., Sapir, M.: Diagram groups. Mem. Am. Math. Soc. 620, 1–117 (1997)
5. Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献