Author:
Hirata Kouichi,Yamada Keizo,Harao Masateru
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Amiot, G.: The undecidability of the second order predicate unification problem, Archive for Mathematical Logic 30, 193–199, 1990.
2. Baxter, L. D.: The complexity of unification, Doctoral Thesis, Department of Computer Science, University of Waterloo, 1977.
3. Lect Notes Comput Sci;R. Curien,1996
4. Défourneaux, G., Bourely, C. and Peltier, N.: Semantic generalizations for proving and disproving conjectures by analogy, Journal of Automated Reasoning 20, 27–45, 1998.
5. Lect Notes Comput Sci;M. R. Donat,1988
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献