The mystery of the forest of Broceliande – summer 2008
David Janin Maître de conférences à l'ENSEIRB / Associate Professor at ENSEIRB, Laboratoire/Research Institute LaBRI , Université Bordeaux-1, 351, Cours de la libération F-33 405, Talence cedex, France
Bureau : 206 Courrier / E-mail : janin@labri.fr Téléphone / Phone : +33 540 00 69 16 (LaBRI) 05 56 84 23 73 (ENSEIRB) Télécopie / Fax : +33 540 00 66 69
Domaine de recherche / Research Area
Mu-calculus and the monadic second order logic. Descriptive complexity. Parity games. Distributed games. Image analysis.
Travaux disponibles / Available papers and lectures