Generalized finite automata theory with an application to a decision problem of second-order logic (Q5538923): Difference between revisions

@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q3267387
@@ Property / cites work: Q3267387 / rank @@
+Normal rank
@@ Property / cites work @@
+Beitrag zur Aerodynamik eines schwingenden Gitters II (Unterschallströmung)
+Normal rank
@@ Property / cites work @@
+Realization of Events by Logical Nets
@@ Property / cites work: Realization of Events by Logical Nets / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q5525259
@@ Property / cites work: Q5525259 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Restricted Set-Theoretical Definitions in Arithmetic
+Normal rank