Iterative and recursive matrix theories (Q595766): Difference between revisions

@@ Property / cites work @@
+Formal computations of non deterministic recursive program schemes
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+The existence and construction of free iterative theories
+Normal rank
@@ Property / cites work @@
+Matricial theories
@@ Property / cites work: Matricial theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Perspective View of Discrete Automata and Their Design
+Normal rank
@@ Property / cites work @@
+Q5623842
@@ Property / cites work: Q5623842 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular trees and the free iterative theory
@@ Property / cites work: Regular trees and the free iterative theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738547
@@ Property / cites work: Q3738547 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic and nondeterministic flowchart interpretations
+Normal rank
@@ Property / cites work @@
+Q3926046
@@ Property / cites work: Q3926046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On context-free languages and push-down automata
@@ Property / cites work: On context-free languages and push-down automata / rank @@
+Normal rank