Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy | Paper Citation Record

Observation f0c58294-94e8-4a60-9144-11f9f17281c6 · outbound

This paper cites Diophantine complexity.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Diophantine complexity

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.676948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84fdd3e0-b376-44d8-b497-5bbee64db2ab · outbound

This paper cites Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:12:12.307521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 95564888-e1b2-4381-b2e8-37b3293f3708 · outbound

This paper cites IOS Press, second edition, 2021.doi:10.3233/FAIA336.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy IOS Press, second edition, 2021.doi:10.3233/FAIA336

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.691887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 493f6a24-e417-4558-9803-d215dd41e5e3 · outbound

This paper cites Review: Martin Davis, Applied nonstandard analysis, and K.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Review: Martin Davis, Applied nonstandard analysis, and K

Reference 4

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:12:12.272075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4f553216-c137-4141-81fe-e01c829d95a2 · outbound

This paper cites A machine-independent theory of the complexity of recursive functions.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A machine-independent theory of the complexity of recursive functions.J

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:12:12.178807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 05a6624e-ee65-4561-b214-490c17104313 · outbound

This paper cites In Memory of Martin Davis.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy In Memory of Martin Davis

Reference 6

Resolution: malformed identifier; local_arxiv, observed 2026-08-07T05:12:12.063931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 16131973-023c-42b4-802f-16545a1faa15 · outbound

This paper cites Omodeo, and Alberto Policriti.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Omodeo, and Alberto Policriti

Reference 7

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:12:10.718929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67eb09e2-e71c-4ef8-86f7-64c03b527e3f · outbound

This paper cites Theorem- provingbymatching.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Theorem- provingbymatching

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.725782Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ca10af9-dfef-460b-b75c-0d88a6302604 · outbound

This paper cites Jack Copeland.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Jack Copeland

Reference 9

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:12:12.021489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fc76a306-7b3a-42fa-9fd7-0d3e0898219c · outbound

This paper cites Arithmetical problems and recursively enumerable predicates (abstract).J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Arithmetical problems and recursively enumerable predicates (abstract).J

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.738732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87ad3ee7-da8e-4be1-bd94-9354a4d0948a · outbound

This paper cites PhD thesis, Princeton University, May 1950.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy PhD thesis, Princeton University, May 1950

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.744752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9b38a1e-c486-4d56-aaed-8ec745768415 · outbound

This paper cites Relatively recursive functions and the extended Kleene hierarchy.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Relatively recursive functions and the extended Kleene hierarchy

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.751987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d0c6d63-7ecd-496d-98be-43d61d9ff190 · outbound

This paper cites Arithmetical problems and recursively enumerable predicates.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Arithmetical problems and recursively enumerable predicates.J

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.759298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e9cb513-463e-466f-8a55-314421c9126d · outbound

This paper cites McGraw-Hill, New York, 1958.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy McGraw-Hill, New York, 1958

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.770074Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a51eadd-8a61-4dba-b62c-5c3ce24e825b · outbound

This paper cites Eliminating the irrelevant from mechanical proofs.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Eliminating the irrelevant from mechanical proofs

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.775537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 295857c1-9b7a-4d1f-82d5-29e2faf9a5d0 · outbound

This paper cites Modern Science Selection.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Modern Science Selection

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.781214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91a20480-f8bc-4f70-8e55-ee2dde8e22e3 · outbound

This paper cites One equation to rule them all.Transactions of the New York Academy of Sciences.Series II, 30(6):766–773, 1968.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy One equation to rule them all.Transactions of the New York Academy of Sciences.Series II, 30(6):766–773, 1968

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.786468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33652b89-7d70-4312-a7eb-fef7a986a429 · outbound

This paper cites An explicit Diophantine definition of the exponential function.Comm.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy An explicit Diophantine definition of the exponential function.Comm

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.794787Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0beb5bcc-aac3-4737-a0ad-83400978b3b6 · outbound

This paper cites On the number of solutions of Diophantine equations.Proc.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy On the number of solutions of Diophantine equations.Proc

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.799682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c67e1ad8-23e4-4dc1-a953-7967e16ff23d · outbound

This paper cites Hilbert’s tenth problem is unsolvable.Amer.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Hilbert’s tenth problem is unsolvable.Amer

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.807044Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad69cfd4-8cf2-4285-8684-dd03c022deb0 · outbound

This paper cites Speed-up theorems and Diophantine equations.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Speed-up theorems and Diophantine equations

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.818536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55326fe6-9698-4391-ad55-a748cf776af5 · outbound

This paper cites Introduzione alla teoria della computabilità e alla teoria delle funzioni ricorsive.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Introduzione alla teoria della computabilità e alla teoria delle funzioni ricorsive

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.823755Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a39cdf8-38ff-4179-978f-fa8c62a7ab3c · outbound

This paper cites John Wiley & Sons, Inc., 1977.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy John Wiley & Sons, Inc., 1977

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.317048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 44a666ca-47d4-4222-b433-46fae0b11dc8 · outbound

This paper cites Unsolvable problems.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unsolvable problems

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.300111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7ad2b5ce-13ab-41a4-b888-df3964537bb7 · outbound

This paper cites The mathematics of non-monotonic reasoning.Artif.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The mathematics of non-monotonic reasoning.Artif

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.283411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3c3b05bd-a045-4946-9680-b27d8a12d3e9 · outbound

This paper cites Obvious logical inferences.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Obvious logical inferences

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.261148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 144347aa-7824-4ac0-9405-68846e29eda8 · outbound

This paper cites Why Gödel didn’t have Church’s thesis.Information and Control, 54(1/2):3–24, 1982.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Why Gödel didn’t have Church’s thesis.Information and Control, 54(1/2):3–24, 1982

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.241095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 03d28668-888b-4558-a023-21b9584831f6 · outbound

This paper cites The prehistory and early history of Automated Deduction.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The prehistory and early history of Automated Deduction

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.222200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 14f1856d-643c-42ca-b482-bc458a59be10 · outbound

This paper cites Is mathematical insight algorithmic?Behavioral and Brain Sciences, 13(4):659– 660, 1990.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Is mathematical insight algorithmic?Behavioral and Brain Sciences, 13(4):659– 660, 1990

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.203959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fdf69251-2d49-4aee-94d9-41a987cb2bce · outbound

This paper cites How subtle is Gödel’s theorem? More on Roger Penrose.Behavioral and Brain Sciences, 16:611–612, 9 1993.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy How subtle is Gödel’s theorem? More on Roger Penrose.Behavioral and Brain Sciences, 16:611–612, 9 1993

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.526128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9c9ccccd-5196-4e3b-b0d5-b8e148cef864 · outbound

This paper cites Foreword to the English translation of [74], pages xiii–xvii.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Foreword to the English translation of [74], pages xiii–xvii

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.188148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 28fe83b4-30fb-4e63-a28f-2ec516e4ae98 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:13.153956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 43bb9fb0-a9a1-4c5c-ad44-49b1add7dcda · outbound

This paper cites From logic to computer science and back.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy From logic to computer science and back

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.137063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c45aeece-f9d6-4f08-b502-c361ec1b100f · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:13.120250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9388b4dc-6ba3-47dc-88cc-982ece4f90db · outbound

This paper cites The myth of hypercomputation.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The myth of hypercomputation

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.505070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 116e4280-f71b-4176-b7af-0c1c704f54a2 · outbound

This paper cites Why there is no such discipline as hypercomputation.Appl.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Why there is no such discipline as hypercomputation.Appl

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.087852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation cdbce24b-cb74-4970-b7ee-fb471ec4b152 · outbound

This paper cites Representation theorems for r.e.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Representation theorems for r.e

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.072028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d37715cf-2784-48ac-b408-531436bf21d2 · outbound

This paper cites Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring ofQ.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Representation theorems for recursively enumerable sets and a conjecture related to Poonen’s large subring ofQ.J

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.055385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0ba6763c-09f2-438d-8026-9aea92a71464 · outbound

This paper cites Seventy years of computer science.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Seventy years of computer science

Reference 41

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.465313Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f011ab6e-feb4-4e57-95b7-8bc3fbfdbb08 · outbound

This paper cites A free variable version of the first-order predicate calculus.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A free variable version of the first-order predicate calculus

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.036987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c8d40195-27e8-4288-a4a0-08a327294d00 · outbound

This paper cites Nonstandard analysis.Scientific American, 226:78–86, 1972.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Nonstandard analysis.Scientific American, 226:78–86, 1972

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.019178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4d0a58d8-e2f7-4130-8277-7b0cbfa5e2f2 · outbound

This paper cites A machine program for theorem- proving.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A machine program for theorem- proving

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.002230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 759f69e6-3c65-401b-b7a1-571aab9ce656 · outbound

This paper cites Loveland.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Loveland

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.986163Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4e8fed31-0a0c-44cc-8f8a-7af2259d64ba · outbound

This paper cites Hilbert’s tenth problem.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Hilbert’s tenth problem

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.968884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 42c6a0b4-a12c-4e32-8cdc-0fc69eba9d86 · outbound

This paper cites Feasible computational methods in the propositional cal- culus.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Feasible computational methods in the propositional cal- culus

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.951590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 56317693-f8c5-43cf-863f-62ee3946de3b · outbound

This paper cites Reductions of Hilbert’s tenth problem.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Reductions of Hilbert’s tenth problem.J

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.935286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 88fc0323-b124-44e2-a15a-258c3510f235 · outbound

This paper cites A computational proof procedure; Axioms for number theory; Research on Hilbert’s Tenth Problem.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A computational proof procedure; Axioms for number theory; Research on Hilbert’s Tenth Problem

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.916315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4145f99a-e7ea-4a68-bf20-cf67e82e7a55 · outbound

This paper cites A computing procedure for quantification theory.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A computing procedure for quantification theory.J

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.901010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 95bdbcef-ea07-4084-a17a-e1d3b01f5032 · outbound

This paper cites The decision problem for exponential Diophantine equations.Ann.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The decision problem for exponential Diophantine equations.Ann

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.884806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7064688e-c3ef-4067-ad36-8f486bd9635a · outbound

This paper cites Schwartz.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Schwartz

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.866978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 74b0126c-2564-4331-90cb-a02a7fdfd5ed · outbound

This paper cites Conceptual Confluence in 1936: Post and Turing.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Conceptual Confluence in 1936: Post and Turing

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.849724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f4419cd6-84f8-48be-9425-2868e3184dc1 · outbound

This paper cites Weyuker.Computability, Complexity, and Languages.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Weyuker.Computability, Complexity, and Languages

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.833174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d100099c-f58a-4ddb-bd64-8a2dc362b051 · outbound

This paper cites Fundamentals of Theoretical Computer Science.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Fundamentals of Theoretical Computer Science

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.815838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 37e69f53-616a-41c4-a5d8-2229a4902080 · outbound

This paper cites Daylight.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Daylight

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.799304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a196c35a-8b9e-4148-a12e-b03e4241bdb9 · outbound

This paper cites Daylight.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Daylight

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.782372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0e3f2670-f2e9-495e-b785-92b536067252 · outbound

This paper cites The confluence of ideas in 1936.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The confluence of ideas in 1936

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.764688Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 27d93a7a-81aa-46f5-a883-7d6776b6158f · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:11.048903Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bddca253-e2f2-4608-a864-b03d76f3be45 · outbound

This paper cites The primes contain arbitrarily long arithmetic progressions.Ann.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The primes contain arbitrarily long arithmetic progressions.Ann

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:11.057061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 732c3341-64ca-41d3-887b-e6ff726f1087 · outbound

This paper cites Mathematische Probleme.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Mathematische Probleme

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.747716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a58b99ef-b451-4b21-9fcd-f2fc5c2794fa · outbound

This paper cites Mathematical Problems.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Mathematical Problems

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.731609Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 403ab4e7-1a5b-48ec-81f7-b735b873f67f · outbound

This paper cites Interview with Martin Davis.Notices Amer.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Interview with Martin Davis.Notices Amer

Reference 63

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.407573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9b35c975-f494-44c1-8988-a964650965df · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:11.086458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbf30091-d83a-40fa-8f53-80c4925fe0bd · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.715011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9e94869b-2dc9-4796-a9c6-66fa8fb7c305 · outbound

This paper cites Hilbert’s tenth problem via additive combinatorics, 2024.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Hilbert’s tenth problem via additive combinatorics, 2024

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:11.096400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 15ee793a-0c04-4e0c-9b28-8b70647a6219 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 69

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.698412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2aaadf4d-abba-4188-aafd-23dbdb8ca864 · outbound

This paper cites Mal’tsev.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Mal’tsev

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.681359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d6d5ed60-967d-46ae-9237-bd5e85c4e43f · outbound

This paper cites Almqvist & Wikseil, Stockholm, 1970.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Almqvist & Wikseil, Stockholm, 1970

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.663765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4d82f91d-b098-4c22-84f4-3f89c6876cb3 · outbound

This paper cites Matiyasevich.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Matiyasevich

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.645433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3d3517b6-149a-4f7e-85c4-3d49a727ab6e · outbound

This paper cites Matiyasevich.Desyataya Problema Gilberta.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Matiyasevich.Desyataya Problema Gilberta

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.625750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b9b8e7bd-71ab-4cef-add9-de65cbe061cc · outbound

This paper cites Ram Murty and Brandon Fodden.Hilbert’s tenth problem.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Ram Murty and Brandon Fodden.Hilbert’s tenth problem

Reference 76

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.388875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 30e5caef-d931-42e4-b230-b28beeb952a2 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 77

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.593148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3b18555e-389f-400a-8c31-cca60d5e0f59 · outbound

This paper cites Omodeo and Alberto Policriti, editors.Martin Davis on Computability, Computa- tional Logic, and Mathematical Foundations, volume 10 ofOutstanding Contributions to Logic.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Omodeo and Alberto Policriti, editors.Martin Davis on Computability, Computa- tional Logic, and Mathematical Foundations, volume 10 ofOutstanding Contributions to Logic

Reference 78

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.487047Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 49568021-bb7e-4efc-849c-5304077b8dc3 · outbound

This paper cites Oxford University Press, 1989.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Oxford University Press, 1989

Reference 79

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:12:11.760240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation af990a27-30c0-4657-8b49-96cac53dd077 · outbound

This paper cites Oxford University Press, 1994.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Oxford University Press, 1994

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.578128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ce8fd2a0-ab47-4abd-8cae-89b5bea545b8 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 81

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.562687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 291f0190-42ce-4d42-9429-a1da6c8ab583 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 82

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.546923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 36424fa0-2d0d-4fdb-aa8c-180cb72953b3 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.531204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 971fc79e-6a3b-4ea0-b0ac-b8418184811c · outbound

This paper cites A mechanical proof procedure and its real- ization in an electronic computer.J.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy A mechanical proof procedure and its real- ization in an electronic computer.J

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.515784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bc1c26bf-116a-4815-a947-b0aa0b330f0e · outbound

This paper cites MAA Spectrum.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy MAA Spectrum

Reference 85

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:12:11.647812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8295bef7-b031-4226-b2b1-6e32712ec675 · outbound

This paper cites Obrazovatelnye proekty.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Obrazovatelnye proekty

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.499157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dc4002f4-db86-4525-9112-4acf3cf4e7ed · outbound

This paper cites AMS, Providence, RI, 1996.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy AMS, Providence, RI, 1996

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.483261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 42887ead-f5fb-4315-9e7a-b0dcbe9488e9 · outbound

This paper cites Robinson.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Robinson

Reference 88

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.368659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b41faa1b-af63-4df9-86c0-aabb42146a05 · outbound

This paper cites Sacks, editor.Mathematical Logic in the 20th Century.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Sacks, editor.Mathematical Logic in the 20th Century

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.465145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2d203448-6e6a-48a8-9755-8978b641757c · outbound

This paper cites Step by recursive step: Church’s analysis of effective calculability.Bull.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Step by recursive step: Church’s analysis of effective calculability.Bull

Reference 90

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.344643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 50b7cd4a-b0bc-43b2-9d6c-c7c3600d73df · outbound

This paper cites Siegelmann.Neural networks and analog computation: Beyond the Turing limit.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Siegelmann.Neural networks and analog computation: Beyond the Turing limit

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.448567Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f3ca1880-6357-42e4-bf39-c6c2bfd1a9af · outbound

This paper cites Springer, Berlin, Heidelberg, 1983.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Springer, Berlin, Heidelberg, 1983

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.428335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 247a4f19-c695-4dd8-9cd6-7471709d8955 · outbound

This paper cites Amethodofpresentingthetheoryofalgorithmsandenumerablesets(inRus- sian).Trudy Matematicheskogo instituta im.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Amethodofpresentingthetheoryofalgorithmsandenumerablesets(inRus- sian).Trudy Matematicheskogo instituta im

Reference 93

Resolution: verified exact; doi, observed 2026-08-07T05:12:11.323406Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation b20f1c11-e737-4b8a-92e9-59dd1aee4f48 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 94

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.411399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d277c72a-eb86-4f38-8c46-c3319089eb8b · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 95

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.394822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bb5427d8-af65-4ad9-babf-0744596c1944 · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 96

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.378345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation eb3318e6-d6f8-4d25-b9ef-0f0bf6bbfe3d · outbound

This paper cites Toward mechanical mathematics.IBM Journal of Research and Development, 4(1):2–22, 1960.doi:10.1147/rd.41.0002.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Toward mechanical mathematics.IBM Journal of Research and Development, 4(1):2–22, 1960.doi:10.1147/rd.41.0002

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:11.251849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14a6ee84-09d2-4330-88df-04e358790a88 · outbound

This paper cites Webb.Mechanism, Mentalism and Metamathematics.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Webb.Mechanism, Mentalism and Metamathematics

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.360092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 95adfb6a-5942-4c45-b7e4-502246defa2e · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 99

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:12.334723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 11c02b3b-3935-40ea-96e3-fcfb2c04c658 · outbound

This paper cites 199–235].

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy 199–235]

Reference 1973

Resolution: unresolved; no resolver link, observed 2026-08-07T05:12:10.812892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ea4f7cb-a4e3-4ba1-9506-04e1c9b2cce4 · outbound

This paper cites The collaboration in the United States.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy The collaboration in the United States

Reference 1993

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:13.171217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 122c6bbf-36c6-4c2c-9eb9-11e6316f66d4 · outbound

This paper cites URL: logic.pdmi.ras.ru/∼yumat/H10Pbook/.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy URL: logic.pdmi.ras.ru/∼yumat/H10Pbook/

Reference 1995

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:12:12.609724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 053d7eb1-d18c-4d7e-a1ad-09901017391a · outbound

This paper cites an unresolved cited work.

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy Unresolved cited work

Reference 2000

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:12:13.103938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers