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
- Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013Computer and information sciencese120n07
- Workshop on Intuitionistic Modal Logic and Applications (IMLA)Computer and information sciencess122m12