Future-Looking Logics on Data Words and Trees (Q3182936): Difference between revisions

@@ Property / cites work @@
+XPath satisfiability in the presence of DTDs
@@ Property / cites work: XPath satisfiability in the presence of DTDs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing Conjunctive Queries over Trees Using Schema Information
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to data languages and timed languages
+Normal rank
@@ Property / cites work @@
+Complexity of Data Tree Patterns over XML Documents
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+On the freeze quantifier in Constraint LTL: Decidability and complexity
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank