16. TPHOLs 2003:
Rom, Italy
David A. Basin, Burkhart Wolff (Eds.):
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings.
Lecture Notes in Computer Science 2758 Springer 2003, ISBN 3-540-40664-6
Invited Talk I
Hardware and Assembler Languages
Proof Automation I
Proof Automation II
Tool Combination
Invited Talk II
- Dale Miller:
Reasoning about Proof Search Specifications: An Abstract.
204

Logic Extensions
Advances in Theorem Prover Technology
- Sava Krstic, John Matthews:
Inductive Invariants for Nested Recursion.
253-269

- Jacek Chrzaszcz:
Implementing Modules in the Coq System.
270-286

- Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu:
MetaPRL - A Modular Logical Environment.
287-303

Mathematical Theories
Security
Last update Fri May 24 19:52:39 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page