Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Pablo Barceló, Leonid Libkin. Temporal Logics over Unranked Trees. In 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings. pages 31-40, IEEE Computer Society, 2005. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Logics for Unranked Trees: An OverviewLeonid Libkin. lmcs, 2(3), 2006. [doi] Logics for Unranked Trees: An OverviewLeonid Libkin. icalp 2005: 35-50 [doi] Logical Definability and Query Languages over Unranked TreesLeonid Libkin, Frank Neven. lics 2003: 178-187 [doi] Logical definability and query languages over ranked and unranked treesMichael Benedikt, Leonid Libkin, Frank Neven. tocl, 8(2):11, 2007. [doi]
The following publications are possibly variants of this publication: