20 results · clear filters Sort: newest oldest name

1. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2009-08-17/20 · Munich, Germany
   Computer and information sciences
   e108ehx
2. International Conference on Theorem Proving in Higher Order Logics (TPHOLs)
   series, 19 events, 1991 to 2009
   Computer and information sciences
   s10apq5
3. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2008-08-18/21 · Montreal, Canada
   Computer and information sciences
   e108egz
4. Theorem Proving in Higher Order Logics, 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (TPHOL, TPHOLs 2007)
   2007-09-10/13 · Kaiserslautern, Germany
   Computer and information sciences
   e10eqfd
5. Theorem Proving in Higher Order Logics (TPHOL)
   2006-08-17/20 · Seattle, United States
   Computer and information sciences
   e12p48v
6. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2005-08-22/25 · Oxford, United Kingdom
   Computer and information sciences
   e108ef2
7. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2004-09-14/17 · Park City, United States
   Computer and information sciences
   e108ee4
8. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2003-09-08/12 · Rome, Italy
   Computer and information sciences
   e108ed6
9. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
   2002-08-20/23 · Hampton, United States
   Computer and information sciences
   e108ec8
10. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    2001-09-03/06 · Edinburgh, United Kingdom
    Computer and information sciences
    e108eba
11. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    2000-08-14/18 · Portland, United States
    Computer and information sciences
    e108eac
12. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1999-09-14/17 · Nice, France
    Computer and information sciences
    e108e9e
13. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1998-09-27 to 1998-10-01 · Canberra, Australia
    Computer and information sciences
    e108e8g
14. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs 1997)
    1997-08-19/22 · Murray Hill, United States
    Computer and information sciences
    e108e7j
15. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1996-08-26/30 · Turku, Finland
    Computer and information sciences
    e108e6m
16. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1995-09-11/14 · Aspen Grove, United States
    Computer and information sciences
    e108e5p
17. Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings (TPHOL)
    1994-09-19/22 · Valletta, Malta
    Computer and information sciences
    e11x8nf
18. Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings (TPHOL)
    1993-08-11/13 · Vancouver, Canada
    Computer and information sciences
    e11x8mh
19. Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992 (TPHOL)
    1992-09-21/24 · Leuven, Belgium
    Computer and information sciences
    e11x8kk
20. Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA (TPHOL)
    1991-01-01 · Davis, United States
    Computer and information sciences
    e11x8jn

As JSON: https://labs.confref.org/api/search?series=s10apq5