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
|
|
|
|
|
|
|
|
