Existential arithmetization of Diophantine equations (Q1006616): Difference between revisions

@@ Property / Wikidata QID @@
+Q56896618
@@ Property / Wikidata QID: Q56896618 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+Normal rank
@@ Property / cites work @@
+The decision problem for exponential diophantine equations
+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 @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992465
@@ Property / cites work: Q3992465 / rank @@
+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 @@
+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 / DBLP publication ID @@
+journals/apal/Matiyasevich09
@@ Property / DBLP publication ID: journals/apal/Matiyasevich09 / rank @@
+Normal rank