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. Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
    2019
    Computer and information sciences
    e11xxky
  2. Vampire Workshop (Vampire)
    series, 3 events, 2014 to 2019
    Computer and information sciences
    s123r4p
  3. Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra, Portugal, July 2, 2016.
    2016 · Coimbra, Portugal
    Computer and information sciences
    e10tgxy
  4. Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany, August 2, 2015
    2014 · Berlin, Germany
    Computer and information sciences
    e10tgw0

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