Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

11 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

As JSON: https://labs.confref.org/api/search?series=s10apq5&from=2000&to=2009