dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Mathematical Theories

Security

Copyright © Tue Feb 9 19:38:01 2010 by Michael Ley (ley@uni-trier.de)