Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
×
Abstract. 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 ...
Jun 13, 2006 · Abstract: Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the ...
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.
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.
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.
A third line of research focuses on the relationship between query languages for finite trees and tree automata (Libkin and Sirangelo 2008; Neven 2002; ...
A survey of logics for unranked trees is presented, finding that logics differ significantly in their model-checking properties, their automata models, ...
Abstract. 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 ...
People also ask
Abstract. 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 ...
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.