| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2016 | — | ch. |
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
|
| 2016 | J | jnl |
J. Autom. Reason.
|
| 2003 | J | jnl |
New Gener. Comput.
|
| 2000 | J | jnl |
Commun. ACM
|
| 1999 | J | jnl |
AI Mag.
|
| 1997 | J | jnl |
J. Autom. Reason.
|
| 1995 | J | jnl |
Ann. Math. Artif. Intell.
|
| 1995 | J | jnl |
J. Autom. Reason.
|
| 1995 | A* | conf |
LICS
|
| 1994 | — | conf |
GI Jahrestagung
|
| 1992 | J | jnl |
J. Log. Program.
|
| 1992 | J | jnl |
Int. J. Approx. Reason.
|
| 1991 | — | conf |
Computational Logic - Essays in Honor of Alan Robinson
|
| 1991 | — | conf |
ISLP
|
| 1991 | — | conf |
Automated Reasoning: Essays in Honor of Woody Bledsoe
|
| 1991 | J | jnl |
J. Autom. Reason.
|
| 1991 | — | conf |
ELP
|
| 1988 | — | conf |
ICLP/SLP
|
| 1988 | A | conf |
CADE
|
| 1987 | J | jnl |
J. Algorithms
|
| 1987 | J | jnl |
J. Parallel Distributed Comput.
|
| 1987 | B | conf |
ICLP
|
| 1986 | C | conf |
ISMIS
|
| 1986 | B | conf |
ICPP
|
| 1985 | J | jnl |
Acta Informatica
|
| 1983 | A* | conf |
IJCAI
|
| 1982 | A | ed. |
CADE
|
| 1981 | J | jnl |
J. ACM
|
| 1980 | A | conf |
CADE
|
| 1978 | — | book |
|
| 1978 | A* | conf |
STOC
|
| 1976 | J | jnl |
IEEE Trans. Computers
|
| 1974 | J | jnl |
J. ACM
|
| 1974 | J | jnl |
ACM SIGCSE Bull.
|
| 1974 | J | jnl |
ACM SIGCSE Bull.
|
| 1973 | A* | conf |
IJCAI
|
| 1972 | J | jnl |
J. ACM
|
| 1969 | J | jnl |
J. ACM
|
| 1969 | J | jnl |
Inf. Control.
|
| 1969 | J | jnl |
J. ACM
|
| 1969 | A* | conf |
STOC
|
| 1968 | J | jnl |
J. ACM
|
| 1962 | J | jnl |
Commun. ACM
|
| 1960 | — | conf |
IRE-AIEE-ACM Computer Conference (Western)
|