On regular paths with counting and data tests (Q1744429): Difference between revisions

@@ Property / cites work @@
+Global Numerical Constraints on Trees
@@ Property / cites work: Global Numerical Constraints on Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
+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 @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Toward Model Theory with Data Values
@@ Property / cites work: Toward Model Theory with Data Values / rank @@
+Normal rank
@@ Property / cites work @@
+A logic you can count on
@@ Property / cites work: A logic you can count on / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of modal logics with Presburger constraints
+Normal rank
@@ Property / cites work @@
+Decidability of Downward XPath
@@ Property / cites work: Decidability of Downward XPath / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
+Normal rank
@@ Property / cites work @@
+Q3113675
@@ Property / cites work: Q3113675 / rank @@
+Normal rank
@@ Property / cites work @@
+FO2(&lt;,+1,~) on data trees, data tree automata and branching vector addition systems
+Normal rank
@@ Property / cites work @@
+Reasoning with Global Assumptions in Arithmetic Modal Logics
+Normal rank
@@ Property / cites work @@
+Q3086934
@@ Property / cites work: Q3086934 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for XPath fragments
@@ Property / cites work: Complete axiomatizations for XPath fragments / rank @@
+Normal rank