Travelled to:1 × Cyprus
1 × France
1 × Italy
1 × USA
Collaborated with:∅ B.t.Cate R.A.Leal Y.Venema
Talks about:calculus (2) dichotomi (1) coalgebra (1) fragment (1) automata (1) approach (1) continu (1) consist (1) complet (1) predic (1)
Person: Gaëlle Fontaine
DBLP: Fontaine:Ga=euml=lle
Contributed to:
2013
2010
2010
2008Wrote 4 papers:
- LICS-2013-Fontaine #consistency #query #question #why
- Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? (GF), pp. 550–559.
- FoSSaCS-2010-CateF #calculus #finite #proving #μ-calculus
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (BtC, GF), pp. 161–175.
- ICALP-v2-2010-FontaineLV #algebra #approach #automaton #using
- Automata for Coalgebras: An Approach Using Predicate Liftings (GF, RAL, YV), pp. 381–392.
- CSL-2008-Fontaine #calculus #μ-calculus
- Continuous Fragment of the μ-Calculus (GF), pp. 139–153.