Sciweavers

Share
LPAR   2010 Logic for Programming
Wall of Fame | Most Viewed LPAR-2010 Paper
LPAR
2010
Springer
8 years 8 months ago
On the Satisfiability of Two-Variable Logic over Data Words
Data trees and data words have been studied extensively in connection with XML reasoning. These are trees or words that, in addition to labels from a finite alphabet, carry labels ...
Claire David, Leonid Libkin, Tony Tan
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source215
2Download preprint from source199
3Download preprint from source171
4Download preprint from source165
5Download preprint from source163
6Download preprint from source162
7Download preprint from source162
8Download preprint from source161
9Download preprint from source159
10Download preprint from source158
11Download preprint from source156
12Download preprint from source154
13Download preprint from source153
14Download preprint from source148
15Download preprint from source148
16Download preprint from source147
17Download preprint from source147
18Download preprint from source142
19Download preprint from source140
20Download preprint from source139
21Download preprint from source138
22Download preprint from source138
23Download preprint from source135
24Download preprint from source135
25Download preprint from source131
26Download preprint from source130
27Download preprint from source129
28Download preprint from source127
29Download preprint from source127
30Download preprint from source126
31Download preprint from source124
32Download preprint from source123
33Download preprint from source123
34Download preprint from source121
35Download preprint from source120
36Download preprint from source120
37Download preprint from source117
38Download preprint from source113
39Download preprint from source111
40Download preprint from source103
41Download preprint from source102
42Download preprint from source102
43Download preprint from source102
44Download preprint from source101
45Download preprint from source98
46Download preprint from source93
books