Edit Profile Davis, Martin David Compute Distance To: Compute Author ID: davis.martin-d Published as: Davis, M.; Davis, Martin; Davis, Martin D.; Davis, Martin David Homepage: https://www.cs.nyu.edu/cs/faculty/davism/ External Links: MGP · Wikidata · dblp · GND Documents Indexed: 76 Publications since 1953, including 16 Books Biographic References: 2 Publications all top 5 Co-Authors 50 single-authored 4 Putnam, Hilary Whitehall 3 Weyuker, Elaine J. 2 Robinson, Julia 2 Schonberg, Edmond 1 Blum, Lenore 1 Fechter, Ronald 1 Feferman, Solomon 1 Gaal, Lisl 1 Gale, David 1 Gottlieb, Allan 1 Henkin, Leon Albert 1 Insall, Matt 1 Kelley, Judy A. 1 Lehmer, Derrick Henry 1 Logemann, George 1 Loveland, Donald W. 1 Mac Lane, Leslie Saunders 1 Matiyasevich, Yuriĭ Vladimirovich 1 Niven, Ivan Morton 1 Pitcher, Everett 1 Post, Emil Leon 1 Putman, Hilary 1 Schwartz, Jacob Theodore 1 Scott, Elizabeth L. 1 Trotskaia Lehmer, Emma all top 5 Serials 4 Notices of the American Mathematical Society 2 Communications on Pure and Applied Mathematics 2 Illinois Journal of Mathematics 2 Information and Control 2 The Journal of Symbolic Logic 2 Proceedings of the American Mathematical Society 2 The Bulletin of Symbolic Logic 1 American Mathematical Monthly 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 International Journal of Theoretical Physics 1 Applied Mathematics and Computation 1 The Computer Journal. Section A / Section B 1 Journal of the Association for Computing Machinery 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Journal of Logic and Computation 1 Games and Economic Behavior 1 Communications of the ACM 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics. Second Series 1 Higher-Order and Symbolic Computation 1 Nexus Network Journal all top 5 Fields 33 Mathematical logic and foundations (03-XX) 27 Computer science (68-XX) 21 History and biography (01-XX) 8 Number theory (11-XX) 7 General mathematics (00-XX) 2 Quantum Theory (81-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Game theory, economics, social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline