Logics for Unranked Trees: An Overview
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 r...
| Hovedforfatter: | |
|---|---|
| Format: | Article |
| Sprog: | English |
| Udgivet: |
Logical Methods in Computer Science e.V.
2006-07-01
|
| Serier: | Logical Methods in Computer Science |
| Fag: | |
| Online adgang: | https://lmcs.episciences.org/2244/pdf |