Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Baader, F., Siekmann, J.: Unification theory. In: Gabbay, Dov M., Hogger, C., Robinson, J., (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2. Clanderon Press, Oxford (1994) 41–124
2. Lect Notes Comput Sci;F. Baader,1992
3. Franzen, M.: Hilbert’s tenth problem is of unification type zero. J. Automated Reasoning 9 (1992) 169–178
4. Martin, U., Nipkov, T.: Boolean unification-The story so far. J. Symbolic Computation 7 (1989) 275–293
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献