Monadic second-order definable graph transductions: a survey (Q1325847): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(94)90268-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1993698725
@@ Property / OpenAlex ID: W1993698725 / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems for tree-decomposable graphs
@@ Property / cites work: Easy problems for tree-decomposable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of boundary and confluent graph grammars on graph languages of bounded degree
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+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 @@
+Q4273871
@@ Property / cites work: Q4273871 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. VII: Graphs as relational structures
+Normal rank
@@ Property / cites work @@
+Structural properties of context-free sets of graphs generated by vertex replacement
+Normal rank
@@ Property / cites work @@
+Q4852905
@@ Property / cites work: Q4852905 / rank @@
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order evaluations on tree-decomposable graphs
+Normal rank
@@ Property / cites work @@
+Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
+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 @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q3974863
@@ Property / cites work: Q3974863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037316
@@ Property / cites work: Q4037316 / rank @@
+Normal rank
@@ Property / cites work @@
+The string generating power of context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Hypergraph languages of bounded degree
@@ Property / cites work: Hypergraph languages of bounded degree / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of boundary graph grammars and context-free hypergraph grammars
+Normal rank
@@ Property / cites work @@
+Q4037292
@@ Property / cites work: Q4037292 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree transducers, L systems, and two-way machines
@@ Property / cites work: Tree transducers, L systems, and two-way machines / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Minimum Coloring, Maximum Clique, Minimum Covering by Cliques, and Maximum Independent Set of a Chordal Graph
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785988
@@ Property / cites work: Q3785988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3316615
@@ Property / cites work: Q3316615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670604
@@ Property / cites work: Q3670604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586299
@@ Property / cites work: Q5586299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273670
@@ Property / cites work: Q4273670 / rank @@
+Normal rank
@@ Property / cites work @@
+Boundary NLC graph grammars—Basic definitions, normal forms, and complexity
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank