Limiting Until in Ordered Tree Query Languages (Q5277915): Difference between revisions

@@ Property / cites work @@
+Efficient and Expressive Tree Filters
@@ Property / cites work: Efficient and Expressive Tree Filters / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
+Normal rank
@@ Property / cites work @@
+Q3768883
@@ Property / cites work: Q3768883 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about XML with Temporal Logics and Automata
+Normal rank
@@ Property / cites work @@
+Database Theory - ICDT 2005
@@ Property / cites work: Database Theory - ICDT 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting on CTL\(^*\): On the expressive power of monadic path logic
+Normal rank
@@ Property / cites work @@
+Q4484477
@@ Property / cites work: Q4484477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536399
@@ Property / cites work: Q4536399 / rank @@
+Normal rank
@@ Property / cites work @@
+Nesting until and since in linear temporal logic
@@ Property / cites work: Nesting until and since in linear temporal logic / rank @@
+Normal rank