Subject
Information Systems and Management,Arts and Humanities (miscellaneous),Developmental and Educational Psychology,Information Systems,Management Information Systems
Reference179 articles.
1. Resolution in Type Theory;Andrews;J. of Symbolic Logic,1971
2. Automating Higher Order Logic;Andrews,1984
3. Unification Problems with One-Sided Distributivity;Arnberg,1985
4. Some techniques for recognizing Structures in Pictures;Barrow,1972
5. The Undecidability of the Third Order Dyadic Unification Problem;Baxter;Information and Control,1978
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献