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 |