Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Logics for Unranked Trees: An Overview

Leonid Libkin.
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to&nbsp;[&hellip;]
Published on July 26, 2006
Volume 2, Issue 3
  • < Previous
  • 1
  • Next >