Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845): Difference between revisions

@@ Property / cites work @@
+Unification Modulo Synchronous Distributivity
@@ Property / cites work: Unification Modulo Synchronous Distributivity / rank @@
+Normal rank
@@ Property / cites work @@
+A formalization of multi-tape Turing machines
@@ Property / cites work: A formalization of multi-tape Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+The surveyability of mathematical proof: A historical perspective
+Normal rank
@@ Property / cites work @@
+Q2852343
@@ Property / cites work: Q2852343 / rank @@
+Normal rank
@@ Property / cites work @@
+On Forward Closure and the Finite Variant Property
+Normal rank
@@ Property / cites work @@
+Q6124949
@@ Property / cites work: Q6124949 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of PCP-related computational reductions in Coq
+Normal rank
@@ Property / cites work @@
+A certifying extraction with time bounds from Coq to call-by-value
  $\lambda$-calculus
+Normal rank
@@ Property / cites work @@
+The undecidability of the Turing machine immortality problem
+Normal rank
@@ Property / cites work @@
+On Immortal Configurations in Turing Machines
@@ Property / cites work: On Immortal Configurations in Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+The Tiling Problem Revisited (Extended Abstract)
@@ Property / cites work: The Tiling Problem Revisited (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819992
@@ Property / cites work: Q3819992 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity and Immortality in Reversible Computing
+Normal rank
@@ Property / cites work @@
+Small universal register machines
@@ Property / cites work: Small universal register machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027630
@@ Property / cites work: Q4027630 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the semi-unification problem
+Normal rank
@@ Property / cites work @@
+An analysis of ML typability
@@ Property / cites work: An analysis of ML typability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268483
@@ Property / cites work: Q4268483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5094119
@@ Property / cites work: Q5094119 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035254
@@ Property / cites work: Q4035254 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774933
@@ Property / cites work: Q3774933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Typability and type checking in System F are equivalent and undecidable
+Normal rank
@@ Property / cites work @@
+Counter machines
@@ Property / cites work: Counter machines / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6137845