Event Beta
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013
- Date
- 2013
- Place
- Rio de Janeiro, Brazil on the map
- Series
- Workshop on Intuitionistic Modal Logic and Applications (IMLA)
- Edition
- 6
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e120n07
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013 Electronic Notes in Theoretical Computer Science 300 | 2014 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| dblp |
|---|
Cite
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. confref identifier e120n07. https://id.confref.org/event/e120n07
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.