Conferences in DBLP
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 ] Norbert Völker Disjoint Sums over Type Classes in HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:5-18 [Conf ] 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 ] Thomas Santen Isomorphisms - A Link Between the Shallow and the Deep. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:37-54 [Conf ] Holger Pfeifer , Harald Rueß Polytypic Proof Construction. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:55-72 [Conf ] John Matthews Recursive Function Definition over Coinductive Types. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:73-90 [Conf ] Solange Coupet-Grimal , Line Jakubiec Hardware Verification Using Co-induction in COQ. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:91-108 [Conf ] Olga Caprotti , Arjeh M. Cohen Connecting Proof Checkers and Computer Algebra Using OpenMath. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:109-112 [Conf ] John Harrison A Machine-Checked Theory of Floating Point Arithmetic. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:113-130 [Conf ] Venanzio Capretta Universal Algebra in Type Theory. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:131-148 [Conf ] 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 ] Markus Wenzel Isar - A Generic Interpretative Approach to Readable Formal Proof Documents. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:167-184 [Conf ] Vincent Zammit On the Implementation of an Extensible Declarative Proof Language. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:185-202 [Conf ] Don Syme Three Tactic Theorem Proving. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:203-220 [Conf ] Simon Ambler , Roy L. Crole Mechanized Operational Semantics via (Co)Induction. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:221-238 [Conf ] Mark Staples Representing WP Semantics in Isabelle/ZF. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:239-254 [Conf ] 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 ] 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 ] Dominique Bolignano Formal Methods and Security Evaluation (Invited Talk). [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:291-292 [Conf ] Haiyan Xiong , Paul Curzon , Sofiène Tahar Importing MDG Verification Results into HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:293-310 [Conf ] Joe Hurd Integrating Gandalf and HOL. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:311-322 [Conf ] 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 ] Nancy A. Day , Jeffrey J. Joyce Symbolic Functional Evaluation. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1999, pp:341-358 [Conf ]