Author:
Meng Jia,Paulson Lawrence C.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference25 articles.
1. Beeson, M.: Mathematical induction in Otter-lambda. J. Autom. Reason. 36(4), 311–344 (2006)
2. Benzmüller, C., Sorge, V., Jamnik, M., Kerber, M.: Can a higher-order and a first-order theorem prover cooperate? In: Baader, F., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning – 11th International Workshop, LPAR 2004, LNAI, vol. 3452, pp. 415–431. Springer (2005)
3. Bouillaguet, C., Kuncak, V., Wies, T., Zee, K., Rinard, M.: Using first-order theorem provers in the Jahob data structure verification system. In: Cook, B., Podelski, A. (eds.) Verification, Model Checking, and Abstract Interpretation, LNCS, vol. 4349, pp. 74–88. Springer (2007)
4. Gordon, M.J.C., Melham, T.F.: Introduction to HOL: a Theorem Proving Environment for Higher Order Logic. Cambridge Univ. Press (1993)
5. Hughes, R.J.M.: Supercombinators: a new implementation method for applicative languages. In: LISP and Func. Prog. ACM Press (1982)
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献