Event
PDF in motion
Printable PDF
Comments
SYMPOSIUM ON XML, LOGIC, AND AUTOMATA 2008,
A little bit infinite? Adding data to finitely labelled structures
Grantown-on-Spey, July 2008
download download Slightly debugged and extended version of the STACS 08 talk
STACS 2008, Invited Talk on
A little bit infinite? Adding data to finitely labelled structures
Bordeaux, February 2008
download
(8,4 MB!)
download  
COLLOQUIUM LOGICUM 2006, Invited Talk on
Two variable logics in the presence of an equivalence relation
Bonn, September 2006
download download  
PODS 2004, Invited Tutorial on
Trees, Automata and XML
Paris, June 2005
download download  
EDBT Summer School 2004
Formal Methods for XML: Algorithms & Complexity
download download  
Lehrerfortbildung Informatik und Schule
"Vor lauter Bäumen..." - XML und Formale Sprachen
Marburg, 4.3.05
download download  
12. Jahrestagung der GI-Fachgruppe Logik in der Informatik
Logic and XML
München, 19.-20. Mai 2005
download download