`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:

### Wrote 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.