Conferences in DBLP
Thomas F. Melham The HOL Logic Extended with Quantification over Type Variables. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:3-17 [Conf ] Richard J. Boulton A Lazy Approach to Fully-Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:19-38 [Conf ] Klaus Schneider , Ramayya Kumar , Thomas Kropf Efficient Representation and Computation of Tableau Proofs. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:39-57 [Conf ] Ching-Tsun Chou A Note on Interactive Theorem Proving with Theorem Continuation Functions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:59-69 [Conf ] Ching-Tsun Chou A Sequent Formulation of a Logic of Predicates in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:71-80 [Conf ] Garrel Pottinger A Classical Type Theory with Transfinite Types. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:81-94 [Conf ] Holger Busch Unification Based Induction. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:97-116 [Conf ] Mark van der Voort Introducing well-founded function definitions in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:117-131 [Conf ] Richard J. Boulton Boyer-Moore Automation for the HOL System. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:133-142 [Conf ] John Harrison Constructing the real numbers in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:145-164 [Conf ] Klaus Schneider , Ramayya Kumar , Thomas Kropf Modelling Generic Hardware Structures by Abstract Datatypes. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:165-175 [Conf ] Mark Aagaard , Miriam Leeser A Methodology for Reusable Hardware Proofs. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:177-196 [Conf ] Phillip J. Windley Abstract Theories in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:197-210 [Conf ] Michael McAllister Machine Abstraction in Microprocessor Specification. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:211-224 [Conf ] Paul Loewenstein A Formal Theory of Simulations Between Infinite Automata. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:227-246 [Conf ] Nancy A. Day A Comparison between Statecharts and State Transition Assertions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:247-262 [Conf ] Rachel Cardell-Oliver , Roger Hale , John Herbert An Embedding of Timed Transition Systems in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:263-278 [Conf ] Monica Nesi Formalizing a Modal Logic for CSS in the HOL Theorem Prover. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:279-294 [Conf ] Jim Alves-Foss Modelling Non-Deterministic System in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:295-304 [Conf ] Joakim von Wright , Jukka Hekanaho , P. Luostarinen , Thomas Långbacka Mechanising some Advanced Refinement Concepts. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:307-326 [Conf ] Paul Curzon Deriving Correctness Properties of Compiled Code. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:327-346 [Conf ] William L. Harrison , Myla Archer , Karl N. Levitt A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:347-356 [Conf ] John Van Tassel A Formalisation of the VHDL Simulation Cycle. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:359-374 [Conf ] Catia M. Angelo , Luc J. M. Claesen , Hugo De Man The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:375-394 [Conf ] Roger B. Hughes , Gerry Musgrave Design-Flow Graph Partitioning. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:395-404 [Conf ] Saraswati Kalvala , Myla Archer , Karl N. Levitt Implementation and Use of Annotations in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:407-426 [Conf ] Jing Pan , Karl N. Levitt , Myla Archer , Saraswati Kalvala Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:427-447 [Conf ] Li-Guo Wang Deriving a Correct Computer. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:449-458 [Conf ] Roger B. Hughes , M. D. Francis , Simon Finn , Gerry Musgrave Formal Tools in Tri-State Design in Busses. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:459-475 [Conf ] Massimo Bombana , Patrizia Cavalloro , Giuseppe Zaza Specification and Formal Synthesis of Digital Circuits. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:475-484 [Conf ] Kees G. W. Goossens Operational Semantics Based on Formal Symbolic Simulation. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:487-506 [Conf ] Kelly M. Hall , Phillip J. Windley Simulating Microprocessors from Formal Specifications. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:507-525 [Conf ] Sreeranga P. Rajan Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:527-536 [Conf ] Myla Archer , George Fink , Lie Yang Linking Other Theorem Provers to HOL Using PM: Proof Manager. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:539-548 [Conf ] Konrad Slind Adding New Rules to an LCF-style Logic Implementation. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:549-559 [Conf ] Elsa L. Gunter Why we can't have SML-style datatype Declarations in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1992, pp:561-568 [Conf ]