Monadic second-order definable text languages (Q1361884): Difference between revisions

@@ Property / cites work @@
+A partial k-arboretum of graphs with bounded treewidth
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. X: Linear orderings
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of 2-structures. I: Clans, basic subclasses, and morphisms
+Normal rank
@@ Property / cites work @@
+T-structures, T-functions, and texts
@@ Property / cites work: T-structures, T-functions, and texts / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial properties of texts
@@ Property / cites work: Combinatorial properties of texts / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free text grammars
@@ Property / cites work: Context-free text grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037316
@@ Property / cites work: Q4037316 / rank @@
+Normal rank
@@ Property / cites work @@
+A regular characterization of graph languages definable in monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Characterization and complexity of uniformly nonprimitive labeled 2-structures
+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 @@
+Q3683903
@@ Property / cites work: Q3683903 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284261
@@ Property / cites work: Q4284261 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank