| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 1995 | J | jnl |
Stud Logica
|
| 1994 | — | conf |
ISMVL
|
| 1991 | — | conf |
ISMVL
|
| 1990 | — | conf |
ISMVL
|
| 1989 | J | jnl |
J. Symb. Log.
|
| 1988 | C | conf |
IPMU
|
| 1987 | C | conf |
ISMIS
|
| 1986 | C | conf |
ISMIS
|
| 1978 | — | conf |
MVL
|
| 1976 | J | jnl |
Math. Log. Q.
|
| 1975 | J | jnl |
ACM SIGCSE Bull.
|
| 1974 | J | jnl |
Computer
|
| 1973 | J | jnl |
IEEE Trans. Computers
|
| 1973 | J | jnl |
IEEE Trans. Computers
|
| 1971 | J | jnl |
IEEE Trans. Inf. Theory
|
| 1971 | — | conf |
AFIPS Fall Joint Computing Conference
|
| 1971 | J | jnl |
IEEE Trans. Inf. Theory
|
| 1970 | J | jnl |
IEEE Trans. Inf. Theory
|
| 1968 | — | conf |
AFIPS Fall Joint Computing Conference (1)
|
| 1962 | J | jnl |
J. ACM
|
| 1958 | J | jnl |
IRE Trans. Electron. Comput.
|