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 BibTeX
@proceedings{DBLP:conf/tphol/2003,
editor = {David A. Basin and
Burkhart Wolff},
title = {Theorem Proving in Higher Order Logics, 16th International Conference,
TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
booktitle = {TPHOLs},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2758},
year = {2003},
isbn = {3-540-40664-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk I
Hardware and Assembler Languages
Proof Automation I
Proof Automation II
Tool Combination
Invited Talk II
Logic Extensions
Advances in Theorem Prover Technology
- Sava Krstic, John Matthews:
Inductive Invariants for Nested Recursion.
253-269
Electronic Edition (link) BibTeX
- Jacek Chrzaszcz:
Implementing Modules in the Coq System.
270-286
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Mathematical Theories
Security
Copyright © Sat May 16 23:43:56 2009
by Michael Ley (ley@uni-trier.de)
