Q5552753 (Q5552753): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+On Formalisms for Turing Machines
@@ Property / cites work: On Formalisms for Turing Machines / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5552753