Finding your way in a forest: on different types of trees and their properties

Logical aspects in the study of tree languages

Proc. of the conference on Ninth colloquium on trees in algebra and programming

Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree

14th International Colloquium on Automata, languages and programming

The monadic second-order logic of graphs V: on closing the gap between definability and recognizability

MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science

The logic of typed feature structures

The logic of typed feature structures

A Web Odyssey: from Codd to XML

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Tree-Walking Pebble Automata

Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa

First-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity

STACS '88 Proceedings of the 5th Annual Symposium on Theoretical Aspects of Computer Science

First-Order Logic on Finite Trees

TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development

Tree-walking automata do not recognize all regular languages

Proceedings of the thirty-seventh annual ACM symposium on Theory of computing

Two-variable logic on data trees and XML reasoning

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Characterizing EF and EX tree logics

Theoretical Computer Science - Concurrency theory (CONCUR 2004)

Expressiveness and complexity of XML Schema

ACM Transactions on Database Systems (TODS)

XML transformation by tree-walking transducers with invisible pebbles

Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Two-way unary temporal logic over trees

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science

Alternation-free modal mu-calculus for data trees

LICS '07 Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science

Regular tree languages definable in FO

STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science

Towards a characterization of order-invariant queries over tame structures

CSL'05 Proceedings of the 19th international conference on Computer Science Logic

Forest expressions

CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic