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