Monadic Second-Order Logic and Transitive Closure Logics over Trees (Q4917997): Difference between revisions

@@ Property / cites work @@
+Q4202929
@@ Property / cites work: Q4202929 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and the power of local ordering
@@ Property / cites work: Reachability and the power of local ordering / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+An operational and denotational approach to non-context-freeness
+Normal rank
@@ Property / cites work @@
+A descriptive characterisation of indexed grammars
+Normal rank
@@ Property / cites work @@
+Q4474840
@@ Property / cites work: Q4474840 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778879
@@ Property / cites work: Q2778879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954002
@@ Property / cites work: Q4954002 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntactic structures as multi-dimensional trees
@@ Property / cites work: Syntactic structures as multi-dimensional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing derivation trees of context-free grammars through a generalization of finite automata theory
+Normal rank