Hilbert's tenth problem is of unification type zero

Mark Franzen

doi:10.1007/bf00245459

Hilbert's tenth problem is of unification type zero

Journal of Automated Reasoning ◽

10.1007/bf00245459 ◽

1992 ◽

Vol 9 (2) ◽

pp. 169-178 ◽

Cited By ~ 4

Author(s):

Mark Franzen

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Unification Type

Download Full-text

Hilbert's Tenth Problem

ACM SIGACT News ◽

10.1145/3471469.3471476 ◽

2021 ◽

Vol 52 (2) ◽

pp. 36-44

Author(s):

William Gasarch

Keyword(s):

Short Version ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Complete History

This column is a short version of a long version of an article based on a blog. What? I give the complete history.

Download Full-text

Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions

Mathematical Logic Quarterly ◽

10.1002/malq.200510013 ◽

2006 ◽

Vol 52 (1) ◽

pp. 14-19

Author(s):

Mihai Prunescu

Keyword(s):

Exponential Functions ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Hilbert's tenth problem

Journal of Soviet Mathematics ◽

10.1007/bf01215387 ◽

1975 ◽

Vol 3 (2) ◽

pp. 161-184 ◽

Cited By ~ 1

Author(s):

Yu. I. Manin

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Hilbert’s Tenth Problem for function fields of varieties over algebraically closed fields of positive characteristic

Monatshefte für Mathematik ◽

10.1007/s00605-011-0364-7 ◽

2011 ◽

Vol 168 (1) ◽

pp. 1-16

Author(s):

Kirsten Eisenträger

Keyword(s):

Positive Characteristic ◽

Function Fields ◽

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Closed Fields ◽

Algebraically Closed Fields

Download Full-text

Hilbert’s Tenth Problem

The Heritage of Thales - Undergraduate Texts in Mathematics ◽

10.1007/978-1-4612-0803-7_53 ◽

1995 ◽

pp. 255-258

Author(s):

W. S. Anglin ◽

J. Lambek

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Computation Paradigms in Light of Hilbert's Tenth Problem

New Computational Paradigms ◽

10.1007/978-0-387-68546-5_4 ◽

2008 ◽

pp. 59-85 ◽

Cited By ~ 7

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Computation Paradigms

Download Full-text

Hilbert’s Tenth Problem and Paradigms of Computation

New Computational Paradigms - Lecture Notes in Computer Science ◽

10.1007/11494645_39 ◽

2005 ◽

pp. 310-321 ◽

Cited By ~ 3

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Martin Davis and Hilbert’s Tenth Problem

Outstanding Contributions to Logic - Martin Davis on Computability, Computational Logic, and Mathematical Foundations ◽

10.1007/978-3-319-41842-1_2 ◽

2016 ◽

pp. 35-54

Author(s):

Yuri Matiyasevich

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem ◽

Martin Davis

Download Full-text

Applications of Hilbert’s tenth problem

The Student Mathematical Library - Hilbert’s Tenth Problem ◽

10.1090/stml/088/07 ◽

2019 ◽

pp. 167-199

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

The Büchi sequences and Hilbert’s Tenth Problem

Banach Center Publications ◽

10.4064/bc108-0-2 ◽

2016 ◽

Vol 108 ◽

pp. 23-30

Author(s):

Jerzy Browkin

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text