Denis Lapoire
Research
Research group : Langages
formels et graphes
Topics:
-
graphs, maps, collages
-
graph grammars
-
tree-decompositions
-
Monadic Second-Order logic
-
Automaton
PhD Thesis
Publications of
1997-1998
Recognizability equals Monadic Second-Order definability,
for sets of graphs of bounded tree-width.
Proc. STACS'98. LNCS 1373, 618-628,1998.
abstract
- gzip'ed postscript file
Criteria to Disprove Context-Freeness of Collage
Languages.
In collaboration with
Frank
Drewes, Hans-Jörg
Kreowski,
Proc. FCT'97, LNCS 1279, 169-178,1997.
abstract
- gzip'ed postscript file
Technical reports
and submitted articles
Address
-
LaBRI,
Université de Bordeaux-1
-
351 cours de la Libération
-
33405 Talence cedex, FRANCE
Tel: +33 5 56 84 69 08 - lapoire@LaBRI.U-Bordeaux.fr - Fax:
+33 5 56 84 66 69