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.

1 result · clear filters Sort: newest oldest name

  1. Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023.
    2023 · Rome, Italy
    Computer and information sciences
    e11va6g

As JSON: https://labs.confref.org/api/search?series=s10bncv&country=IT