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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319418414, 9783319418421

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Why Post Did [Not] Have Turing’s Thesis

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

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

2016 ◽

pp. 175-208 ◽

Cited By ~ 1

Author(s):

Wilfried Sieg ◽

Máté Szabó ◽

Dawn McLaughlin

Download Full-text

Pragmatic Platonism

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

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

2016 ◽

pp. 349-356

Author(s):

Martin Davis

Download Full-text

On Quantum Computation, Anyons, and Categories

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

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

2016 ◽

pp. 209-241 ◽

Cited By ~ 1

Author(s):

Andreas Blass ◽

Yuri Gurevich

Keyword(s):

Quantum Computation

Download Full-text

Martin Davis’s Bibliography 1950–2015

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

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

2016 ◽

pp. 363-370

Author(s):

Eugenio G. Omodeo

Download Full-text

Honest Computability and Complexity

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

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

2016 ◽

pp. 151-173 ◽

Cited By ~ 1

Author(s):

Udi Boker ◽

Nachum Dershowitz

Download Full-text

A Story of Hilbert’s Tenth Problem

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

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

2016 ◽

pp. 93-105

Author(s):

Laura Elena Morales Guerrero

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text

Banishing Ultrafilters from Our Consciousness

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

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

2016 ◽

pp. 255-283

Author(s):

Domenico Cantone ◽

Eugenio G. Omodeo ◽

Alberto Policriti

Download Full-text

Taking Physical Infinity Seriously

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

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

2016 ◽

pp. 243-254

Author(s):

Don Perlis

Download Full-text

My Life as a Logician

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

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

2016 ◽

pp. 1-33

Author(s):

Martin Davis

Download Full-text

Outstanding Contributions to Logic - Martin Davis on Computability, Computational Logic, and Mathematical FoundationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Martin Davis and Hilbert’s Tenth Problem

Why Post Did [Not] Have Turing’s Thesis

Pragmatic Platonism

On Quantum Computation, Anyons, and Categories

Martin Davis’s Bibliography 1950–2015

Honest Computability and Complexity

A Story of Hilbert’s Tenth Problem

Banishing Ultrafilters from Our Consciousness

Taking Physical Infinity Seriously

My Life as a Logician

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