BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fontaine:Ga=euml=lle

Contributed to:

LICS 20132013
FOSSACS 20102010
ICALP (2) 20102010
CSL 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.