The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Davis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  21. Diophantine Equations and Computation. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002