Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 results · clear filters Sort: newest oldest name
- Workshop on Horn Clauses for Verification and Synthesis (HCVS) (HCVS)Computer and information sciencess10cghk
- Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. (HCVS)Computer and information sciencese120xpj
- Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. (HCVS)Computer and information sciencese120x4q
- Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. (HCVS)Computer and information sciencese120vpm
- Horn Clauses for Verification and Synthesis (HCVS)Computer and information sciencese12kak4
- Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. (HCVS)Computer and information sciencese120td8
As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10cghk