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.

10 results · clear filters Sort: newest oldest name

  1. International Conference on Theorem Proving in Higher Order Logics (TPHOLs)
    series, 19 events, 1991 to 2009
    Computer and information sciences
    s10apq5
  2. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1999-09-14/17 · Nice, France
    Computer and information sciences
    e108e9e
  3. 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
  4. 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
  5. International Conference on Theorem Proving in Higher Order Logics (TPHOL, TPHOLs)
    1996-08-26/30 · Turku, Finland
    Computer and information sciences
    e108e6m
  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. 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
  8. 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
  9. 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
  10. 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&from=1990&to=1999