The SCEAS System
Navigation Menu

Conferences in DBLP

International Conference on Theorem Proving in Higher Order Logics (tphol)
1992 (conf/tphol/1992)

  1. Thomas F. Melham
    The HOL Logic Extended with Quantification over Type Variables. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:3-17 [Conf]
  2. Richard J. Boulton
    A Lazy Approach to Fully-Expansive Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:19-38 [Conf]
  3. Klaus Schneider, Ramayya Kumar, Thomas Kropf
    Efficient Representation and Computation of Tableau Proofs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:39-57 [Conf]
  4. Ching-Tsun Chou
    A Note on Interactive Theorem Proving with Theorem Continuation Functions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:59-69 [Conf]
  5. Ching-Tsun Chou
    A Sequent Formulation of a Logic of Predicates in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:71-80 [Conf]
  6. Garrel Pottinger
    A Classical Type Theory with Transfinite Types. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:81-94 [Conf]
  7. Holger Busch
    Unification Based Induction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:97-116 [Conf]
  8. Mark van der Voort
    Introducing well-founded function definitions in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:117-131 [Conf]
  9. Richard J. Boulton
    Boyer-Moore Automation for the HOL System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:133-142 [Conf]
  10. John Harrison
    Constructing the real numbers in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:145-164 [Conf]
  11. Klaus Schneider, Ramayya Kumar, Thomas Kropf
    Modelling Generic Hardware Structures by Abstract Datatypes. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:165-175 [Conf]
  12. Mark Aagaard, Miriam Leeser
    A Methodology for Reusable Hardware Proofs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:177-196 [Conf]
  13. Phillip J. Windley
    Abstract Theories in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:197-210 [Conf]
  14. Michael McAllister
    Machine Abstraction in Microprocessor Specification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:211-224 [Conf]
  15. Paul Loewenstein
    A Formal Theory of Simulations Between Infinite Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:227-246 [Conf]
  16. Nancy A. Day
    A Comparison between Statecharts and State Transition Assertions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:247-262 [Conf]
  17. 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]
  18. Monica Nesi
    Formalizing a Modal Logic for CSS in the HOL Theorem Prover. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:279-294 [Conf]
  19. Jim Alves-Foss
    Modelling Non-Deterministic System in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:295-304 [Conf]
  20. 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]
  21. Paul Curzon
    Deriving Correctness Properties of Compiled Code. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:327-346 [Conf]
  22. 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]
  23. John Van Tassel
    A Formalisation of the VHDL Simulation Cycle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:359-374 [Conf]
  24. 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]
  25. Roger B. Hughes, Gerry Musgrave
    Design-Flow Graph Partitioning. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:395-404 [Conf]
  26. 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]
  27. 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]
  28. Li-Guo Wang
    Deriving a Correct Computer. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:449-458 [Conf]
  29. 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]
  30. Massimo Bombana, Patrizia Cavalloro, Giuseppe Zaza
    Specification and Formal Synthesis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:475-484 [Conf]
  31. Kees G. W. Goossens
    Operational Semantics Based on Formal Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:487-506 [Conf]
  32. Kelly M. Hall, Phillip J. Windley
    Simulating Microprocessors from Formal Specifications. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:507-525 [Conf]
  33. 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]
  34. 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]
  35. Konrad Slind
    Adding New Rules to an LCF-style Logic Implementation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:549-559 [Conf]
  36. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002