Logics and Automata for Totally Ordered Trees (Q3522020): Difference between revisions

@@ 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.1007/978-3-540-70590-1_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1553779897
@@ Property / OpenAlex ID: W1553779897 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Monadic datalog and the expressive power of languages for Web information extraction
+Normal rank
@@ Property / cites work @@
+Q2752154
@@ Property / cites work: Q2752154 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273663
@@ Property / cites work: Q4273663 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank