Author:
Autexier Serge,Hutter Dieter,Mantel Heiko,Schairer Axel
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. C. Benzmüller et al.: MEGA: Towards a mathematical assistant, In W. McCune (ed), CADE-14, Springer, LNAI 1249, 1997.
2. Lect Notes Comput Sci;S. Biundo,1986
3. CoFi-task group on language design, ESPRIT working group 29432, EU, 1998. CoFI Webpage: http://www.brics.dk/Projects/CoFI/
4. L. Damas, R. Milner: Principal type schemes for functional programs, Ann. ACM Symp. on Principles of Programming Languages (POPL), 1982.
5. R. Harper, F. Honsell, G. Plotkin: A framework for defining logics, Journal of the Association for Computing Machinery, 40(1), 1993.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inductive proof search modulo;Annals of Mathematics and Artificial Intelligence;2009-02
2. Reasoning About Incompletely Defined Programs;Logic for Programming, Artificial Intelligence, and Reasoning;2005
3. Automated Termination Analysis for Incompletely Defined Programs;Logic for Programming, Artificial Intelligence, and Reasoning;2005
4. Exploiting Generic Aspects of Security Models in Formal Developments;Lecture Notes in Computer Science;2005
5. Formal Software Development in MAYA;Lecture Notes in Computer Science;2005