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 
- 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
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
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
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
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
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
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
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
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
- 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
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
- 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
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
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
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
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
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
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
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
Last update Thu May 24 04:45:15 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
