Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Baader F.: The Theory of Idempotent Semigroups is of Unification Type Zero, J. of Automated Reasoning 2 (1986) 283–286.
2. Baader F., Schulz K. U.: Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures, J. of Symbolic Computation 21 (1996) 211–243.
3. Baader F., Siekmann J. H.: Unification Theory, Handbook of Logic in Artificial Intelligence and Logic Programming (1993), Oxford University Press.
4. Baader F., Snyder W.: Unification Theory, Handbook of Automated Reasoning (2001), Elsevier Science Publishers.
5. Green J. A., Rees D.: On Semigroups in which xr = x, Proc. Camb. Phil. Soc. 48 (1952) 35–40.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献