The monadic second-order logic of graphs. IX: Machines and their behaviours (Q671992): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00049-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2020520119
@@ Property / OpenAlex ID: W2020520119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289659
@@ Property / cites work: Q4289659 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273664
@@ Property / cites work: Q4273664 / rank @@
+Normal rank
@@ Property / cites work @@
+A representation of trees by languages. II
@@ Property / cites work: A representation of trees by languages. II / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental properties of infinite trees
@@ Property / cites work: Fundamental properties of infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs, II: Infinite graphs of bounded width
+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. IV: Definability properties of equational graphs
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. X: Linear orderings
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Corrigendum to ``DPDA's in ``atomic normal form'' and applications to equivalence problems''
+Normal rank
@@ Property / cites work @@
+Q4179852
@@ Property / cites work: Q4179852 / 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 @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586299
@@ Property / cites work: Q5586299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank