Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. — Cannon,A., Implementation and Analysis of the Todd-Coxeter Algorithm, Math. Comp., 27(1973)
2. — Grätzer, G., General Lattice Theory, Birkhäuser, Basel, 1978
3. — Gross,H., Quadratic Forms in Infinite Dimensional Vector Spaces, Progress in Mathematics, 1(1979)
4. — Huet,G., Confluent Reductions: Abstract Properties and Applications, J. ACM, 27(1980)
5. — Knuth,D.E. and P.A.Bendix, Simple Word Problems in Universal Algebras, "Computational Problems in Abstract Algebra", J.Leech, Ed., Oxford and New York,1969
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献