Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Farmer, W.M.: Length of proofs and unification theory. Ph.D. Thesis, University of Wisconsin, Madison, 1984
2. Goldfarb, W.D.: The undecidability of the second-order unification problem. Theor. Comput. Sci.13, 225–230 (1981)
3. Makanin, G.S.: The problem of solvability of equations in a free semigroup. Sov. Math. Dokl.18, 330–334 (1977)
4. Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. Assoc. Comput. Mach.12, 23–41 (1965)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献