Logical description of context-free graph languages (Q1384534): Difference between revisions

@@ Property / OpenAlex ID @@
+W4212959352
@@ Property / OpenAlex ID: W4212959352 / 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 @@
+Q3787507
@@ Property / cites work: Q3787507 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4852905
@@ Property / cites work: Q4852905 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13--18, 1994. Selected papers
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Complement reducible graphs
@@ Property / cites work: Complement reducible graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order evaluations on tree-decomposable graphs
+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 @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+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 @@
+The monadic second-order logic of graphs. VII: Graphs as relational structures
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Structural properties of context-free sets of graphs generated by vertex replacement
+Normal rank
@@ Property / cites work @@
+Q4353558
@@ Property / cites work: Q4353558 / rank @@
+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 @@
+Context-free graph languages of bounded degree are generated by apex graph grammars
+Normal rank
@@ Property / cites work @@
+Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Linear graph grammars: Power and complexity
@@ Property / cites work: Linear graph grammars: Power and complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Boundary graph grammars with dynamic edge relabeling
+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 @@
+A regular characterization of graph languages definable in monadic second-order logic
+Normal rank
@@ Property / cites work @@
+Q4954439
@@ Property / cites work: Q4954439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
+Normal rank
@@ Property / cites work @@
+Regular description of context-free graph languages
+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 @@
+Q3323279
@@ Property / cites work: Q3323279 / 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 @@
+Metatheorems for decision problems on hyperedge replacement graph languages
+Normal rank
@@ Property / cites work @@
+Q4711083
@@ Property / cites work: Q4711083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714485
@@ Property / cites work: Q3714485 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient decision procedures for graph properties on context-free graph languages
+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 @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Boundary NLC graph grammars—Basic definitions, normal forms, and complexity
+Normal rank
@@ Property / cites work @@
+Combinatorial properties of boundary NLC graph languages
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / 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 @@
+Q3785991
@@ Property / cites work: Q3785991 / rank @@
+Normal rank