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.

4 results · clear filters Sort: newest oldest name

  1. Workshop on User Interfaces for Theorem Provers (UITP) (UITP)
    series, 7 events, 2003 to 2016
    Computer and information sciences
    s10dg76
  2. Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008
    2008 · Montreal, Canada
    Computer and information sciences
    e120k09
  3. Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006
    2006 · Seattle, United States
    Computer and information sciences
    e11xk1d
  4. Proceedings of the User Interfaces for Theorem Provers Workshop, UITP@TPHOLs 2003, Rome, Italy, September 8, 2003
    2003 · Rome, Italy
    Computer and information sciences
    e120gbp

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