Approach to functional specification of automaton systems. I (Q1895045): Difference between revisions

@@ Property / author @@
-Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / rank @@
-Normal rank
@@ Property / author @@
+Anatoli N. Chebotarev
@@ Property / author: Anatoli N. Chebotarev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4282171
@@ Property / cites work: Q4282171 / rank @@
+Normal rank