Conferences in DBLP

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

1. Sten Agerholm, Jacob Frost
   An Isabelle-Based Theorem Prover for VDM-SL. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:1-16 [Conf]
   
2. James H. Andrews
   Executing Formal Specifications by Translation to Higher Order Logic Programming. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:17-32 [Conf]
   
3. Myla Archer, Constance L. Heitmeyer
   Human-Style Theorem Proving Using PVS. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:33-48 [Conf]
   
4. Albert John Camilleri
   A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. [Citation Graph (1, 0)][DBLP]
   TPHOLs, 1997, pp:49-67 [Conf]
   
5. Boutheina Chetali, Barbara Heyd
   Formal Verification of Concurrent Programs in LP and in COQ: A Comparative Analysis. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:69-85 [Conf]
   
6. Robert L. Constable
   ML Programming in Constructive Type Theory (abstract). [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:87- [Conf]
   
7. Marco Devillers, W. O. David Griffioen, Olaf Müller
   Possibly Infinite Sequences in Theorem Provers: A Comparative Study. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:89-104 [Conf]
   
8. Gilles Dowek
   Proof Normalization for a First-Order Formulation of Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:105-119 [Conf]
   
9. Bruno Dutertre, Steve Schneider
   Using a PVS Embedding of CSP to Verify Authentication Protocols. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1997, pp:121-136 [Conf]
   
10. John Harrison
    Verifying the Accuracy of Polynomial Approximations in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:137-152 [Conf]
    
11. Daniel Hirschkoff
    A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:153-169 [Conf]
    
12. Deepak Kapur
    Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:171-182 [Conf]
    
13. Thomas Långbacka, Joakim von Wright
    Refining Reactive Systems in HOL Using Action Systems. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:183-197 [Conf]
    
14. Takahisa Mohri
    On Formalization of Bicategory Theory. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:199-214 [Conf]
    
15. Wolfgang Naraschewski
    Towards an Object-Oriented Progification Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:215-230 [Conf]
    
16. Doron Peled
    Verification for Robust Specification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:231-241 [Conf]
    
17. Thomas Santen
    A Theory of Structured Model-Based Specifications in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:243-258 [Conf]
    
18. Martin Simons
    Proof Presentation for Isabelle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:259-274 [Conf]
    
19. Konrad Slind
    Derivation and Use of Induction Schemes in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:275-290 [Conf]
    
20. Oscar Slotosch
    Higher Order Quotients and their Implementation in Isabelle HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:291-306 [Conf]
    
21. Markus Wenzel
    Type Classes and Overloading in Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:307-322 [Conf]
    
22. Vincent Zammit
    A Comparative Study of Coq and HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:323-337 [Conf]