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

@@ Property / author @@
-Stephan Kepser
@@ Property / author: Stephan Kepser / rank @@
-Normal rank
@@ Property / author @@
+Stephan Kepser
@@ Property / author: Stephan Kepser / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.05.044
+Normal rank
@@ Property / OpenAlex ID @@
+W2124638910
@@ Property / OpenAlex ID: W2124638910 / rank @@
+Normal rank
@@ 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