Logical Definability and Query Languages over Unranked Trees

Leonid Libkin, Frank Neven. Logical Definability and Query Languages over Unranked Trees. In 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings. pages 178-187, IEEE Computer Society, 2003. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: