Facundo Carreiro
Identifiers
- name variant Facundo Carreiro 0.60 · backfill
Papers (5)
- Model Theory of Monadic Predicate Logic with the Infinity Quantifier cs.LO · 2018 · author #1
- The Power of the Weak cs.LO · 2018 · author #1
- Characterization theorems for PDL and FO(TC) cs.LO · 2015 · author #1
- Weak MSO: Automata and Expressiveness Modulo Bisimilarity cs.LO · 2014 · author #1
- Characterization and definability in modal first-order fragments cs.LO · 2010 · author #1
Mentions
- 1501.02607 #1 · backfill · confidence 0.70 Facundo Carreiro
- 1401.4374 #1 · backfill · confidence 0.70 Facundo Carreiro
- 1011.4718 #1 · backfill · confidence 0.70 Facundo Carreiro
Frequent Coauthors
- Alessandro Facchini 3 shared papers
- Fabio Zanasi 3 shared papers
- Yde Venema 3 shared papers