dhr. F.M. (Facundo) Carreiro MSc
-
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
-
POSTBUS
94242
1090 GE Amsterdam
Kamernummer: C3.119
-
F.M.Carreiro@uva.nl
T: 0205258248
2014
- F.M. Carreiro, A. Facchini, Y. Venema & F. Zanasi (2014). Weak MSO: automata and expressiveness modulo bisimilarity. In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). ACM.
2013
- F.M. Carreiro, D. Gorín & L. Schröder (2013). Coalgebraic Announcement Logics. In ICALP (2) Vol. 7966. Lecture Notes in Computer Science (pp. 101-112). Springer.
2014
- F. Carreiro & Y. Venema (2014). PDL Inside the μ-calculus: A Syntactic and an Automata-theoretic Characterization. In R. Goré, B. Kooi & A. Kurucz (Eds.), Advances in Modal Logic 2014 (AiML 2014), Groningen, the Netherlands Vol. 10. Advances in Modal Logic (pp. 74-93). [London]: College Publications.
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.
- Geen nevenwerkzaamheden