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 BibTeX

Invited Papers

Regular Papers

Proof Pearls

Copyright © Sat May 16 23:43:57 2009 by Michael Ley (ley@uni-trier.de)