A direct method for simulating partial recursive functions by Diophantine equations (Q1326783): 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.1016/0168-0072(94)90014-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2084860043
@@ Property / OpenAlex ID: W2084860043 / rank @@
+Normal rank
@@ Property / cites work @@
+A sharp version of the bounded Matijasevich conjecture and the end-extension problem
+Normal rank
@@ Property / cites work @@
+Q4161318
@@ Property / cites work: Q4161318 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+Q3346295
@@ Property / cites work: Q3346295 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit diophantine definition of the exponential function
+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 @@
+Q4115143
@@ Property / cites work: Q4115143 / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Q3962995
@@ Property / cites work: Q3962995 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of negative answer to Hilbert's $10$th problem
+Normal rank
@@ Property / cites work @@
+Q3964549
@@ Property / cites work: Q3964549 / rank @@
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Proof of Recursive Unsolvability of Hilbert's Tenth Problem
+Normal rank
@@ Property / cites work @@
+Diophantine induction
@@ Property / cites work: Diophantine induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Program an Infinite Abacus
@@ Property / cites work: How to Program an Infinite Abacus / rank @@
+Normal rank
@@ Property / cites work @@
+NP-complete decision problems for binary quadratics
+Normal rank
@@ Property / cites work @@
+Q4160889
@@ Property / cites work: Q4160889 / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+On investigations on some algorithmic problems in algebra and number theory
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of an arbitrary diophantine equation to one in 13 unknowns
+Normal rank
@@ Property / cites work @@
+An Informal Arithmetical Approach to Computability and Computation
+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 @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+An unsolvable problem in number theory
@@ Property / cites work: An unsolvable problem in number theory / rank @@
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence†
+Normal rank
@@ Property / cites work @@
+A note on the number of zeros of polynomials and exponential polynomials
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893912
@@ Property / cites work: Q3893912 / rank @@
+Normal rank