mural -- A Formal Development Support System (2004)

by C. B. Jones , K. D. Jones , P. A. Lindsay , R. Moore , J. Bicarregui , M. Elvang-Gøransson , R. E. Fields , R. Kneuper , B. Ritchie , A. C. Wills
Citations:84 - 24 self

Active Bibliography

696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
54 Natural Deduction as Higher-Order Resolution – Lawrence C Paulson - 1986
1 Propositional Functions and Families of Types – Jan M. Smith - 1989
21 Type Theory and Programming – Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow - 1994
22 Constructing Recursion Operators in Intuitionistic Type Theory – Lawrence C Paulson - 1984
AND – Carnegie-mellon Unitersi
9 An Example of Process Change – Robert Snowdon - 1992
Eliciting Software Process Models with the E³ Language – Maria Letizia Jaccheri, Gian Pietro Picco, Patricia Lago
14 Encoding Modal Logics in Logical Frameworks – Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano - 1997
Noname manuscript No. – Vivek Nigam
9 Focusing in linear metalogic – Vivek Nigam, Dale Miller - 2008
5 A framework for proof systems – Vivek Nigam, Dale Miller
The Formal Semantics of ISO VDM-SL – Peter Gorm Larsen, Wieslaw Pawlowski - 1995
3 Towards A Formal Semantics Of The BSI/VDM Specification Language. – Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear - 1989
Bidirectional Reasoning – Alessandro Agostini, Fausto Giunchiglia, Povo Trento
Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: prdoc@itc.it - url: http://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M. – August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
La Deduzione Automatica – F. Giunchiglia, Paolo Traverso, L. Serafini, La Deduzione Automatica, La Deduzione Automatica, Fausto Giunchiglia, Paolo Traverso, Luciano Serafini
4 Bidirectional Natural Deduction – Alessandro Agostini - 1993
46 Using Reflection to Build Efficient and Certified Decision Procedures – Samuel Boutin - 1997