Author:
Armando Alessandro,Cimatti Alessandro,Viganò Luca
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. A. Armando and E. Giunchiglia. Embedding Complex Decision Procedures inside an Interactive Theorem Prover. Annals of Artificial Intelligence and Mathematics, 8(3–4), 1993. In press.
2. P.B. Andrews. Theorem Proving via General Matings. Journal of the ACM, 28(2):193–214, 1981.
3. W. Bibel. On Matrices with Connections. Journal of the A CM, 28(4):633–645, 1981.
4. R.S. Boyer and J.S. Moore. A Computational Logic. Academic Press, 1979. ACM monograph series.
5. R.L. Constable, S.F. Allen, H.M. Bromley, et al. Implementing Mathematics with the NuPRL Proof Development System. Prentice Hall, 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical Theory Extension in Event-B;Theories of Programming and Formal Methods;2013