Virtual Theories (1995)

Cached

Download Links

by Paul Curzon
Venue:In Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications, Lecture Notes in Computer Science
Citations:3 - 2 self

Documents Related by Co-Citation

505 Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon, T F Melham - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
14 Recording and Checking HOL Proofs – Wai Wong - 1995
88 Edinburgh LCF: A Mechanised Logic – M J Gordon, A J Milner, C P Wadsworth - 1979
59 Fairisle: an ATM network for the local area – I Leslie, D McAuley - 1991
44 Pure type systems formalized – James Mckinna, Robert Pollack - 1993
31 The Formal Verification of the Fairisle ATM Switching Element – P Curzon - 1994
26 The Formal Verification of Generic Interpreters – P J WINDLEY - 1990
24 A New Interface for HOL - Ideas, Issues and Implementation – Donald Syme - 1995