66 citations · 66 across the 2 of their papers we have counts for
1 paper · 1 filter
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 purpo…