Author:
Bürckert Hans-Jürgen,Herold Alexander,Schmidt-Schauss Manfred
Subject
Computational Mathematics,Algebra and Number Theory
Reference62 articles.
1. The Complexity of Unification;Baxter,1977
2. The Theory of Idempotent Semigroups is of Unification Type Zero;Baader;J. of Automated Reasoning,1986
3. On the Structure of Abstract Algebra;Birkhoff;Proc. Cambridge Phil. Soc.,1935
4. On Unification: Equational Theories are not Bounded;Book;J. of Symbolic Computation,1986
5. The Word Problem;Boone;Ann. Math.,1959
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献