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

International Conference on Theorem Proving in Higher Order Logics

22. TPHOLs 2009: Munich, Germany

Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (Eds.): Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Lecture Notes in Computer Science 5674 Springer 2009, ISBN 978-3-642-03358-2
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TPHOLs 2009 Home Page

21. TPHOLs 2008: Montreal, Canada

Otmane Aït Mohamed, César Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Lecture Notes in Computer Science 5170 Springer 2008, ISBN 978-3-540-71065-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

20. TPHOLs 2007: Kaiserslautern, Germany

Klaus Schneider, Jens Brandt (Eds.): Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings. Lecture Notes in Computer Science 4732 Springer 2007, ISBN 978-3-540-74590-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

3. IJCAR 2006: Seattle, WA, USA

Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4130 Springer 2006, ISBN 3-540-37187-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

The Seventeen Provers of the World 2006

Freek Wiedijk (Ed.): The Seventeen Provers of the World, Foreword by Dana S. Scott. Lecture Notes in Computer Science 3600 Springer 2006, ISBN 3-540-30704-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

17. TPHOLs 2004: Park City, Utah, USA

Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (Eds.): Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Lecture Notes in Computer Science 3223 Springer 2004, ISBN 3-540-23017-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

15. TPHOLs 2002: Hampton, VA, USA

Victor Carreño, César Muñoz, Sofiène Tahar (Eds.): Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2410 Springer 2002, ISBN 3-540-44039-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

14. TPHOLs 2001: Edinburgh, Scotland, UK

Richard J. Boulton, Paul B. Jackson (Eds.): Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001, Proceedings. Lecture Notes in Computer Science 2152 Springer 2001, ISBN 3-540-42525-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TPHOLs 2001 Home Page

13. TPHOLs 2000: Portland, Oregon, USA

Mark Aagaard, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Lecture Notes in Computer Science 1869 Springer 2000, ISBN 3-540-67863-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

12. TPHOLs 1999: Nice, France

Yves Bertot, Gilles Dowek, André Hirschowitz, C. Paulin, Laurent Théry (Eds.): Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs'99, Nice, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1690 Springer 1999, ISBN 3-540-66463-7
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML - TPHOLs 1999 Home Page

11. TPHOLs 1998: Canberra, Australia

Jim Grundy, Malcolm C. Newey (Eds.): Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Lecture Notes in Computer Science 1479 Springer 1998, ISBN 3-540-64987-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

10. TPHOLs 1997: Murray Hill, NJ, USA

Elsa L. Gunter, Amy P. Felty (Eds.): Theorem Proving in Higher Order Logics, 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings. Lecture Notes in Computer Science 1275 Springer 1997, ISBN 3-540-63379-0
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

9. TPHOLs 1996: Turku, Finland

Joakim von Wright, Jim Grundy, John Harrison (Eds.): Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings. Lecture Notes in Computer Science 1125 Springer 1996, ISBN 3-540-61587-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

8. TPHOLs 1995: Aspen Grove, UT, USA

E. Thomas Schubert, Phillip J. Windley, Jim Alves-Foss (Eds.): Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings. Lecture Notes in Computer Science 971 Springer 1995, ISBN 3-540-60275-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

7. TPHOLs 1994: Valletta, Malta

Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Lecture Notes in Computer Science 859 Springer 1994, ISBN 3-540-58450-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

6. HUG 1993: Vancouver, BC, Canada

Jeffrey J. Joyce, Carl-Johan H. Seger (Eds.): Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings. Lecture Notes in Computer Science 780 Springer 1994, ISBN 3-540-57826-9
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

5. TPHOLs 1992: Leuven, Belgium

Luc J. M. Claesen, Michael J. C. Gordon (Eds.): Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992. IFIP Transactions A-20 North-Holland/Elsevier 1993, ISBN 0-444-89880-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

4. TPHOLs 1991: Davis, CA, USA

Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley (Eds.): Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. IEEE Computer Society 1992
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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