Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference15 articles.
1. Andrews, P., Bishop, M., Issar, S., Nesmith, D., Pfenning, F., Xi, H.: TPS: A theorem proving system for classical type theory. J. Autom. Reason. 16, 321–353 (1996)
2. Aubin, R.: Mechanizing structural induction, Part I: Formal system. Theor. Comput. Sci. 9, 329–345 (1979)
3. Aubin, R.: Mechanizing structural induction, Part II: Strategies. Theor. Comput. Sci. 9, 347–362 (1979)
4. Beeson, M.: Lambda logic. In: Basin, D., Rusinowitch, M. (eds.) Proceedings of Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4–8, 2004, vol. 3097 of Lecture Notes in Artificial Intelligence, pp. 460–474. Springer (2004)
5. Beeson, M.: Implicit typing in lambda logic. Presented at the ESHOL Workshop at LPAR-12 and available at the Otter-lambda website [7]. (Dec. 2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献