XPath and Modal Logics of Finite Trees

9^th March 2004, 16:00
Maarten Marx
Language and Inference Technology Group, Institute for Logic, Language and Computation, Universiteit van Amsterdam The Netherlands