Facundo Carreiro
From MaRDI portal
Person:2144616
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Model theory of monadic predicate logic with the infinity quantifier Archive for Mathematical Logic | 2022-06-14 | Paper |
| The Power of the Weak ACM Transactions on Computational Logic | 2020-09-11 | Paper |
| Model Theory of Monadic Predicate Logic with the Infinity Quantifier (available as arXiv preprint) | 2018-09-10 | Paper |
| Weak MSO: automata and expressiveness modulo bisimilarity 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) | 2018-04-23 | Paper |
| PDL is the bisimulation-invariant fragment of weak chain logic 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| PDL inside the -calculus: a syntactic and an automata-theoretic characterization | 2018-04-23 | Paper |
| Beyond regularity for Presburger modal logics | 2014-06-11 | Paper |
| Characterization, definability and separation via saturated models Theoretical Computer Science | 2014-06-10 | Paper |
| Coalgebraic Announcement Logics Automata, Languages, and Programming | 2013-08-07 | Paper |
| On characterization, definability and -saturated models Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
| Basic model theory for memory logics Logic, Language, Information and Computation | 2011-05-27 | Paper |
Research outcomes over time
This page was built for person: Facundo Carreiro
