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.

12 results · clear filters Sort: newest oldest name

  1. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    series, 32 events, 1992 to 2025
    Computer and information sciences
    s10anr4
  2. Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (TABLEAUX)
    2019-09-03/05 · London, United Kingdom
    Computer and information sciences
    e11wr52
  3. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2018-07-14/17 · Oxford, United Kingdom
    Computer and information sciences
    e12nzxq
  4. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2017-09-25/28 · Brasília, Brazil
    Computer and information sciences
    e1088kz
  5. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2016-06-27 to 2016-07-02 · Coimbra, Portugal
    Computer and information sciences
    e12nzws
  6. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2015-09-21/24 · Wrocław, Poland
    Computer and information sciences
    e1088j1
  7. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2014-07-19/22 · Vienna, Austria
    Computer and information sciences
    e12nzvv
  8. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2013-09-16/19 · Nancy, France
    Computer and information sciences
    e1088h3
  9. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2012-06-26/29 · Manchester, United Kingdom
    Computer and information sciences
    e12nztx
  10. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2011-07-04/08 · Bern, Switzerland
    Computer and information sciences
    e1088g5
  11. TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011
    2011 · Bern, Switzerland
    Computer and information sciences
    e11wr44
  12. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e12nzsz

As JSON: https://labs.confref.org/api/search?series=s10anr4&from=2010&to=2019