Department Seminar Series
XPath and Modal Logics of Finite Trees
9th March 2004, 16:00
Maarten Marx
Language and Inference Technology Group, Institute for Logic, Language and Computation, Universiteit van Amsterdam The Netherlands
Maintained by Othon Michail