Balder ten Cate

Title: Transitive closure logic, nested tree walking automata, and XPath

Abstract:

I will discuss three kinds of formalisms that are interpreted on finite trees (XML documents) and whose expressive power lies in-between that of first-order logic and monadic second-order logic: