| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 7 |      | Balder ten Cate, Gaëlle Fontaine: An Easy Completeness Proof for the Modal µ-Calculus on Finite Trees. FOSSACS 2010: 161-175 |
| 6 | | Gaëlle Fontaine, Raul Andres Leal, Yde Venema: Automata for Coalgebras: An Approach Using Predicate Liftings. ICALP (2) 2010: 381-392 |
| 5 | | Gaëlle Fontaine, Thomas Place: Frame Definability for Classes of Trees in the µ-calculus. MFCS 2010: 381-392 |
| 4 | | Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema: Vietoris Bisimulations. J. Log. Comput. 20(5): 1017-1040 (2010) |
| 3 | | Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak: Some modal aspects of XPath. Journal of Applied Non-Classical Logics 20(3): 139-171 (2010) |
| 2008 | ||
| 2 | | Gaëlle Fontaine: Continuous Fragment of the mu-Calculus. CSL 2008: 139-153 |
| 2006 | ||
| 1 | | Gaëlle Fontaine: ML is not finitely axiomatizable over Cheq. Advances in Modal Logic 2006: 139-146 |
| 1 | Nick Bezhanishvili | [4] |
| 2 | Balder ten Cate | [3] [7] |
| 3 | Raul Andres Leal | [6] |
| 4 | Tadeusz Litak | [3] |
| 5 | Thomas Place | [5] |
| 6 | Yde Venema | [4] [6] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page