Hilbert's Tenth Problem in Coq (Q5089029): Difference between revisions

@@ label / en / label / en @@
+Hilbert's Tenth Problem in Coq
@@ Property / cites work @@
+Arithmetical problems and recursively enumerable predicates
+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 @@
+The decision problem for exponential diophantine equations
+Normal rank
@@ Property / cites work @@
+Verification of PCP-related computational reductions in Coq
+Normal rank
@@ Property / cites work @@
+Weak call-by-value lambda calculus as a model of computation in Coq
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Register machine proof of the theorem on exponential diophantine representation of enumerable sets
+Normal rank
@@ Property / cites work @@
+Typing total recursive functions in Coq
@@ Property / cites work: Typing total recursive functions in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers
+Normal rank
@@ Property / cites work @@
+Martin Davis and Hilbert’s Tenth Problem
@@ Property / cites work: Martin Davis and Hilbert’s Tenth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+The Matiyasevich theorem. Preliminaries
@@ Property / cites work: The Matiyasevich theorem. Preliminaries / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine sets. Preliminaries
@@ Property / cites work: Diophantine sets. Preliminaries / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Existential Definability in Arithmetic
@@ Property / cites work: Existential Definability in Arithmetic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://hal.archives-ouvertes.fr/hal-02333404
+Normal rank
@@ Property / OpenAlex ID @@
+W2953924437
@@ Property / OpenAlex ID: W2953924437 / rank @@
+Normal rank
@@ Property / title @@
+Hilbert's Tenth Problem in Coq (English)
@@ Property / title: Hilbert's Tenth Problem in Coq (English) / rank @@
+Normal rank