Pierre Geneves Pierre Genevès

Links to recommended teaching material

Here are a few pointers to some excellent course material (notes, slides, books, papers..) prepared by colleagues.

About Foundations for Processing Trees (Algorithms and Programming Techniques)

Computational Complexity

Tree Automata

Classical Logics, Modal Logics, and μ-calculi

Static Analysis of XPath (cf. publications)

Sample XML data / Exercises

 

Back to the list of courses