INPUT/OUTPUT CODINGS AND TRANSITION FUNCTIONS IN EFFECTIVE SYSTEMS (Q4162665): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/03081077808960684
+Normal rank
@@ Property / OpenAlex ID @@
+W2102619655
@@ Property / OpenAlex ID: W2102619655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATA AND DIGITAL COMPUTERS
@@ Property / cites work: AUTOMATA AND DIGITAL COMPUTERS / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Creative Functions
@@ Property / cites work: Creative Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Configuration and Word Problems of Given Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+Combinatorial systems. I: Cylindrical problems
@@ Property / cites work: Combinatorial systems. I: Cylindrical problems / rank @@
+Normal rank