Basic notions of universal algebra for language theory and graph grammars (Q671349): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of graph reduction
@@ Property / cites work: An algebraic theory of graph reduction / 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 @@
+Un théorème de duplication pour les forets algébriques
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / 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 @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5611784
@@ Property / cites work: Q5611784 / rank @@
+Normal rank
@@ Property / cites work @@
+On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages
+Normal rank
@@ Property / cites work @@
+Asynchronous mappings and asynchronous cellular automata
+Normal rank
@@ Property / cites work @@
+Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
+Normal rank
@@ Property / cites work @@
+An axiomatic definition of context-free rewriting and its application to NLC graph grammars
+Normal rank
@@ Property / cites work @@
+Q3993363
@@ Property / cites work: Q3993363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385531
@@ Property / cites work: Q4385531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385535
@@ Property / cites work: Q4385535 / 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 @@
+The monadic second-order logic of graphs. VII: Graphs as relational structures
+Normal rank
@@ Property / cites work @@
+Q4273663
@@ Property / cites work: Q4273663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273871
@@ Property / cites work: Q4273871 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable sets of graphs: equivalent definitions and closure properties
+Normal rank
@@ Property / cites work @@
+Structural properties of context-free sets of graphs generated by vertex replacement
+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 @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+IO and OI. II
@@ Property / cites work: IO and OI. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738547
@@ Property / cites work: Q3738547 / 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 @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems and semantics: A folk tale
@@ Property / cites work: Fixed point theorems and semantics: A folk tale / rank @@
+Normal rank
@@ Property / cites work @@
+Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
+Normal rank
@@ Property / cites work @@
+On generalized language equations
@@ Property / cites work: On generalized language equations / 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 @@
+Easy multiplications. I: The realm of Kleene's theorem
+Normal rank
@@ Property / cites work @@
+Commutative Regular Equations and Parikh's Theorem
+Normal rank
@@ Property / cites work @@
+Q3926047
@@ Property / cites work: Q3926047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002149
@@ Property / cites work: Q4002149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank