Register machine proof of the theorem on exponential diophantine representation of enumerable sets (Q3734384): 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.2307/2274135
@@ Property / full work available at URL: https://doi.org/10.2307/2274135 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1997517079
@@ Property / OpenAlex ID: W1997517079 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+Q5613888
@@ Property / cites work: Q5613888 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Undecidability--An Exposition
@@ Property / cites work: Recursive Undecidability--An Exposition / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of negative answer to Hilbert's $10$th problem
+Normal rank
@@ Property / cites work @@
+Applications of a Simple Counting Technique
@@ Property / cites work: Applications of a Simple Counting Technique / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / 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 / cites work @@
+An Informal Arithmetical Approach to Computability and Computation
+Normal rank
@@ Property / cites work @@
+How to Program an Infinite Abacus
@@ Property / cites work: How to Program an Infinite Abacus / rank @@
+Normal rank