The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Thomas Kropf
    Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:1-4 [Conf]
  2. Norbert Völker
    Disjoint Sums over Type Classes in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:5-18 [Conf]
  3. Stefan Berghofer, Markus Wenzel
    Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:19-36 [Conf]
  4. Thomas Santen
    Isomorphisms - A Link Between the Shallow and the Deep. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:37-54 [Conf]
  5. Holger Pfeifer, Harald Rueß
    Polytypic Proof Construction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:55-72 [Conf]
  6. John Matthews
    Recursive Function Definition over Coinductive Types. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:73-90 [Conf]
  7. Solange Coupet-Grimal, Line Jakubiec
    Hardware Verification Using Co-induction in COQ. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:91-108 [Conf]
  8. Olga Caprotti, Arjeh M. Cohen
    Connecting Proof Checkers and Computer Algebra Using OpenMath. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:109-112 [Conf]
  9. John Harrison
    A Machine-Checked Theory of Floating Point Arithmetic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:113-130 [Conf]
  10. Venanzio Capretta
    Universal Algebra in Type Theory. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:131-148 [Conf]
  11. Florian Kammüller, Markus Wenzel, Lawrence C. Paulson
    Locales - A Sectioning Concept for Isabelle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:149-166 [Conf]
  12. Markus Wenzel
    Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:167-184 [Conf]
  13. Vincent Zammit
    On the Implementation of an Extensible Declarative Proof Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:185-202 [Conf]
  14. Don Syme
    Three Tactic Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:203-220 [Conf]
  15. Simon Ambler, Roy L. Crole
    Mechanized Operational Semantics via (Co)Induction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:221-238 [Conf]
  16. Mark Staples
    Representing WP Semantics in Isabelle/ZF. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:239-254 [Conf]
  17. Klaus Schneider, Dirk W. Hoffmann
    A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:255-272 [Conf]
  18. Bernd Grobauer, Olaf Müller
    From I/O Automata to Timed I/O Automata. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:273-290 [Conf]
  19. Dominique Bolignano
    Formal Methods and Security Evaluation (Invited Talk). [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:291-292 [Conf]
  20. Haiyan Xiong, Paul Curzon, Sofiène Tahar
    Importing MDG Verification Results into HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:293-310 [Conf]
  21. Joe Hurd
    Integrating Gandalf and HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:311-322 [Conf]
  22. Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
    Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:323-340 [Conf]
  23. Nancy A. Day, Jeffrey J. Joyce
    Symbolic Functional Evaluation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:341-358 [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