Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Davis on Computability, Computational Logic, and Mathematical Foundations, 2016

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/2016OP
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/2016OP
Eugenio G. Omodeo, Alberto Policriti:
Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Outstanding Contributions to Logic 10, Springer 2016, ISBN 978-3-319-41841-4
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16
Martin Davis:
My Life as a Logician. 1-33
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Matiyasevich16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Matiyasevich16
Yuri V. Matiyasevich:
Martin Davis and Hilbert's Tenth Problem. 35-54
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Shlapentokh16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Shlapentokh16
Alexandra Shlapentokh:
Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory. 55-92
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Guerrero16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Guerrero16
Laura Elena Morales Guerrero:
A Story of Hilbert's Tenth Problem. 93-105
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Moschovakis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Moschovakis16
Yiannis N. Moschovakis:
Hyperarithmetical Sets. 107-149
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/BokerD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/BokerD16
Udi Boker, Nachum Dershowitz:
Honest Computability and Complexity. 151-173
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/SiegSM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/SiegSM16
Wilfried Sieg, Máté Szabó, Dawn McLaughlin:
Why Post Did [Not] Have Turing's Thesis. 175-208
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/BlassG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/BlassG16
Andreas Blass, Yuri Gurevich:
On Quantum Computation, Anyons, and Categories. 209-241
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Perlis16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Perlis16
Don Perlis:
Taking Physical Infinity Seriously. 243-254
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/CantoneOP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/CantoneOP16
Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti:
Banishing Ultrafilters from Our Consciousness. 255-283
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/SzaboSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/SzaboSH16
Peter Szabó, Jörg H. Siekmann, Michael Hoche:
What Is Essential Unification? 285-314
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/LovelandSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/LovelandSS16
Donald W. Loveland, Ashish Sabharwal, Bart Selman:
DPLL: The Core of Modern Satisfiability Solvers. 315-335
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Putnam16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Putnam16
Hilary Putnam:
On Davis's "Pragmatic Platonism". 337-347
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16a
Martin Davis:
Pragmatic Platonism. 349-356
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Davis16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Davis16b
Martin Davis:
Concluding Comments by Martin. 357-362
- view
  authority control:
- export record
  dblp key:
  - books/sp/16/Omodeo16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/16/Omodeo16
Eugenio G. Omodeo:
Martin Davis's Bibliography 1950-2015. 363-370

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.