Conferences in DBLP

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

1. Otmane Aït Mohamed
   Mechanizing a pi-Calculus Equivalence in HOL. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:1-16 [Conf]
   
2. Sten Agerholm
   Non-primitive Recursive Function Definitions. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:17-31 [Conf]
   
3. Sten Agerholm, Michael J. C. Gordon
   Experiments with ZF Set Theory in HOL and Isabelle. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:32-45 [Conf]
   
4. Paul E. Black, Phillip J. Windley
   Autotically Synthesized Term Denotation Predicates: A Proof Aid. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:46-57 [Conf]
   
5. Jean-Paul Bodeveix, Mamoun Filali
   On the Refinement of symmetric memory protocols. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:58-74 [Conf]
   
6. Richard J. Boulton
   Combining Decision Procedures in the HOL System. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:75-89 [Conf]
   
7. Stephen H. Brackin
   Deciding Cryptographic Protocol Adequacy with HOL. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:90-105 [Conf]
   
8. Holger Busch
   A Practical Method for Reasoning about Distributed Systems in a Theorem Prover. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:106-121 [Conf]
   
9. Graham Collins, Don Syme
   A Theory of Finite Maps. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1995, pp:122-137 [Conf]
   
10. Paul Curzon
    Virtual Theories. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:138-153 [Conf]
    
11. Dirk Eisenbiegler, Ramayya Kumar
    An Automata Theory Dedicated towards Formal Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:154-169 [Conf]
    
12. Elsa L. Gunter, Leonid Libkin
    Interfacing HOL90 with a Functional Database Query Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:170-185 [Conf]
    
13. John Harrison
    Floating Point Verification in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:186-199 [Conf]
    
14. John Harrison
    Inductive Definitions: Automation and Application. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:200-213 [Conf]
    
15. Sara Kalvala
    A Formulation of TLA in Isabelle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:214-228 [Conf]
    
16. Jang Dae Kim, Shiu-Kai Chin
    Formal Verification of Serial Pipeline Multipliers. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:229-244 [Conf]
    
17. Thomas Långbacka, Rimvydas Ruksenas, Joakim von Wright
    TkWinHOL: A Tool for Window Inference in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:245-260 [Conf]
    
18. Paul Loewenstein
    Formal Verification of Counterflow Pipeline Architecture. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:261-276 [Conf]
    
19. Ralf Reetz
    Deep Embedding VHDL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:277-292 [Conf]
    
20. Franz Regensburger
    HOLCF: Higher Order Logic of Computable Functions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:293-307 [Conf]
    
21. E. Thomas Schubert, Sarah Mocas
    A Mechanized Logic for Secure Key Escrow Protocol Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:308-323 [Conf]
    
22. Don Syme
    A New Interface for HOL - Ideas, Issues and Implementation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:324-339 [Conf]
    
23. Morten Welinder
    Very Efficient Conversions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:340-352 [Conf]
    
24. Wai Wong
    Recording and Checking HOL Proofs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:353-368 [Conf]
    
25. Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
    Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:369-384 [Conf]
    
26. Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
    A Hierarchical Method for Reasoning about Distributed Programming Languages. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:385-400 [Conf]