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
- Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. (DCM, ITRS)Computer and information sciencese120xkr
- Workshop on Intersection Types and Related Systems (ITRS) (ITRS)Computer and information sciencess10dexv
- Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. (ITRS)Computer and information sciencese120w8g
- Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. (ITRS)Computer and information sciencese120tnq
- Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. (ITRS)Computer and information sciencese120sd9
- Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. (ITRS)Computer and information sciencese121288
As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10dexv