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

18. TPHOLs 2005: Oxford, UK

Joe Hurd, Thomas F. Melham (Eds.): Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings. Lecture Notes in Computer Science 3603 Springer 2005, ISBN 3-540-28372-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Papers

Regular Papers

Proof Pearls

Copyright © Mon Nov 2 21:16:19 2009 by Michael Ley (ley@uni-trier.de)