Nondecidable intermediate calculus (Q786806): Difference between revisions

@@ Property / author @@
-Sergey Popov
@@ Property / author: Sergey Popov / rank @@
-Normal rank
@@ Property / author @@
+Sergey Popov
@@ Property / author: Sergey Popov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639697
@@ Property / cites work: Q5639697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067071
@@ Property / cites work: Q4067071 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / OpenAlex ID @@
+W2018445849
@@ Property / OpenAlex ID: W2018445849 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:786806