Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 results · clear filters Sort: newest oldest name
- Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE)Computer and information sciencess123je8
- Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. (SOQE)Computer and information sciencese11vkcv
As JSON: https://labs.confref.org/api/search?series=s123je8&from=2010&to=2019