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.

7 results · clear filters Sort: newest oldest name

  1. Theorem Proving in Higher Order Logics (TPHOL)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12p48v
  2. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    2004-09-14/17 · Park City, United States
    Computer and information sciences
    e108ee4
  3. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    2002-08-20/23 · Hampton, United States
    Computer and information sciences
    e108ec8
  4. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    2000-08-14/18 · Portland, United States
    Computer and information sciences
    e108eac
  5. 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
  6. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1995-09-11/14 · Aspen Grove, United States
    Computer and information sciences
    e108e5p
  7. 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?discipline=Q21198&series=s10apq5&country=US