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
- International Symposium on Frontiers of Combining Systems (FroCoS)Computer and information sciencess109qes
- Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings (FROCOS)Computer and information sciencese113yfv
- Frontiers of Combining Systems (FroCoS) (FROCOS)Computer and information sciencese12k5q1
- International Joint Conference on Automated Reasoning (IJCAR)Computer and information sciencese12m6ha
- International Symposium on Frontiers of Combining Systems (FroCoS)Computer and information sciencese103gfa
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2016)Computer and information sciencese103gec
- International Symposium on Frontiers of Combining Systems (FROCOS)Computer and information sciencese103gde
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR)Computer and information sciencese103gcg
- International Symposium on Frontiers of Combining Systems (FroCoS 2013, FroCoS)Computer and information sciencese103gbj
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2012)Computer and information sciencese103gam
- International Symposium on Frontiers of Combining Systems (FroCoS)Computer and information sciencese103g9p
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR 2010)Computer and information sciencese103g8r
As JSON: https://labs.confref.org/api/search?series=s109qes&from=2010&to=2019