Abstract
This appendix offers a comprehensive list of articles and books which Martin Davis has published till the present day, cross-referenced with a list of bibliographic entries regarding conference proceedings, paper collections, and books, to which he has contributed. Our list does not include the many reviews written by Martin Davis, in particular the ones which have appeared on The Journal of Symbolic Logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Matematika, 8(5), 1964. (MR 24 #A3061).
Kiberneticheskiy sbornik. Novaya seriya, 7, 1970.
Le Scienze Italian edition of Scientific American, 66, 1974.
Abbott, J. C. (Ed.). (1978). The Chauvenet papers, vol. 2. Mathematical Association of America.
Siekmann, J., & Wrightson, G. (Eds.). (1983). Automation of Reasoning 1: Classical Papers on Computational Logic 1957–1966. Berlin, Heidelberg: Springer.
Campbell, D. M., & Higgins, J. C. (Eds.). (1984). Mathematics: People, Problems, Results (Vol. 2). Belmont, CA: Wadsworth International.
Shapiro, S. C., & Eckroth, D. (Eds.). (1987). Encyclopedia of Artificial Intelligence. John Wiley & Sons.
Phillips, E. R. (Ed.). (1987). Studies in the History of Mathematics, (Vol. 26). Mathematical Association of America.
Herken, R. (Eds.). (1988). The Universal Turing Machine—A half-century survey. Verlag Kammerer & Unverzagt, Hamburg, Berlin 1988, Oxford University Press. (Springer 2\({\rm nd}\) edition, 1995).
Ferro, R., Bonotto, C., Valentini, S., & Zanardo, A. (Eds.). (1989). Logic Colloquium 1988: Proceedings. (Elsevier North Holland Publishing Co., Amsterdam).
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS ’89), Pacific Grove, California, USA, June 5-8, 1989. IEEE Computer Society Press, Washington, D.C., 1989.
Gabbay, D. M., Hogger, C. J., & Robinson, J. A. (Eds.). (1993). Handbook of Logic in Artificial Intelligence and Logic Programming. Vol. 1: logical foundations. Clarendon Press, Oxford.
Matiyasevich, Yu. V. (1993). Hilbert’s tenth problem. The MIT Press, Cambridge (MA) and London, pp. xxii+264.
J. Robinson. (1996). The collected works of Julia Robinson, volume 6 of Collected Works. AMS, Providence, RI, pp. xliv+338 . ISBN 0-8218-0575-4. (With an introduction by Constance Reid. Edited and with a foreword by Solomon Feferman).
Reid. C. (1996). Julia: A life in mathematics. (With contributions by I. L. Gaal, M. Davis, and Yu. V. Matijasevich). MAA Spectrum. The Mathematical Association of America, Washington, DC.
Calude, C. S. (Ed.). (1999). People & ideas in theoretical computer science. Discrete Mathematics and Theoretical Computer Science. Singapore; New York: Springer.
Robinson, J. A., & Voronkov A. (Eds.). (2001). Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press.
Beckmann, A., Berger, U., Löwe, B., & Tucker, J. V. (Eds.). (2006). Logical Approaches to Computational Barriers. In Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006, Proceedings, volume 3988 of Lecture Notes in Computer Science. Springer.
Marques-Silva J., & Sakallah, K. A. (Eds.). (2007). Theory and Applications of Satisfiability Testing—SAT 2007, 10th International Conference, Lisbon, Portugal, May 28–31, 2007, Proceedings, volume 4501 of Lecture Notes in Computer Science. Springer.
Calude, C. S., Costa, J. F., Dershowitz, N., Freire, E., & Rozenberg, G. (Eds.). (2009). Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7–11, 2009. Proceedings, volume 5715 of Lecture Notes in Computer Science. Springer.
Schwartz, J. T., Cantone, D., & Omodeo, E. G. (2011). Computational Logic and Set Theory—Applying Formalized Logic to Analysis. Springer.
Turing, S. (2012). Alan M. Turing: Centenary Edition. New York, NY, USA: Cambridge University Press.
Jack Copeland, B., Posy, C. J., & Shagrir, O. (Eds.). (2013). Computability: Turing, Gödel, Church, and beyond. MIT Press.
Siekmann, J. H. (Ed.). (2014). Computational logic, volume 9 of Handbook of the History of Logic. Elsevier.
Sommaruga, G., & Strahm, T. (Eds.). (2016). Turing’s Revolution—The Impact of His Ideas about Computability. Basel: Birkhäuser.
Barry Cooper, S., & Hodges, A. (Ed.). (2016). The Once and Future Turing—Computing the World. Cambridge University Press.
Bokulich, A., & Floyd, J. (Ed.). (2012). Philosophical explorations of the legacy of Alan Turing—Turing 100 (An anthology based on the Turing 100 meeting in November 2012 at Boston University). Boston Studies in the Philosophy and History of Science. Springer Verlag, forthcoming.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Omodeo, E.G. (2016). Martin Davis’s Bibliography 1950–2015. In: Omodeo, E., Policriti, A. (eds) Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Outstanding Contributions to Logic, vol 10. Springer, Cham. https://doi.org/10.1007/978-3-319-41842-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-41842-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41841-4
Online ISBN: 978-3-319-41842-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)