dblp.uni-trier.dewww.uni-trier.de

Martin Davis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
22EEMartin Davis: Diophantine Equations and Computation. UC 2009: 4-5
2007
21EEMartin Davis: SAT: Past and Future. SAT 2007: 1-2
2006
20EEMartin Davis: The Church-Turing Thesis: Consensus and Opposition. CiE 2006: 125-132
19EEMartin Davis: Why there is no such discipline as hypercomputation. Applied Mathematics and Computation 178(1): 4-7 (2006)
2005
18EEMartin Davis: What did Gödel believe and when did he believe it? Bulletin of Symbolic Logic 11(2): 194-206 (2005)
17EEMartin Davis: An Appreciation of Bob Paige. Higher-Order and Symbolic Computation 18(1-2): 13-13 (2005)
2001
16 Martin Davis: The Early History of Automated Deduction. Handbook of Automated Reasoning 2001: 3-15
1995
15EEMartin Davis: American logic in the 1920s. Bulletin of Symbolic Logic 1(3): 273-278 (1995)
1991
14 Martin Davis, Ronald Fechter: A Free Variable Version of the First-Order Predicate Calculus. J. Log. Comput. 1(4): 431-451 (1991)
1989
13 Martin Davis: Emil Post's Contributions to Computer Science LICS 1989: 134-136
1988
12 Martin Davis, Rohit Parikh: Meeting of the Association for Symbolic Logic: New York City, May 1987. J. Symb. Log. 53(4): 1270-1274 (1988)
1986
11 Martin Davis, E. G. K. López-Escobar, Wilfred Sieg: Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. J. Symb. Log. 51(4): 1085-1092 (1986)
1982
10 Martin Davis, Carl Smith, Paul Young: Introduction Information and Control 52(1): 1 (1982)
9 Martin Davis, Carl Smith, Paul Young: Introduction Information and Control 54(1/2): 1 (1982)
8 Martin Davis: Why Gödel Didn't Have Church's Thesis Information and Control 54(1/2): 3-24 (1982)
1981
7 Martin Davis: Obvious Logical Inferences. IJCAI 1981: 530-531
1980
6 Martin Davis: The Mathematics of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 73-80 (1980)
1966
5 Martin Davis: Meeting of the Association for Symbolic Logic. J. Symb. Log. 31(4): 697-706 (1966)
1962
4EEMartin Davis, George Logemann, Donald W. Loveland: A machine program for theorem-proving. Commun. ACM 5(7): 394-397 (1962)
1960
3EEMartin Davis, Hilary Putnam: A Computing Procedure for Quantification Theory. J. ACM 7(3): 201-215 (1960)
1958
2 Martin Davis, Hilary Putnam: Reductions of Hilbert's Tenth Problem. J. Symb. Log. 23(2): 183-187 (1958)
1953
1 Martin Davis: Arithmetical Problems and Recursively Enumerable Predicates. J. Symb. Log. 18(1): 33-41 (1953)

Coauthor Index

1Ronald Fechter [14]
2George Logemann [4]
3E. G. K. López-Escobar [11]
4Donald W. Loveland [4]
5Rohit Parikh [12]
6Hilary Putnam [2] [3]
7Wilfred Sieg [11]
8Carl Smith [9] [10]
9Paul Young [9] [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)