| |
| 2001 | ||
|---|---|---|
| 9 | Kees Doets: Uniform Short Proofs for Classical Theorems. Notre Dame Journal of Formal Logic 42(2): 121-127 (2001) | |
| 1999 | ||
| 8 | Kees Doets: Relatives of the Russell Paradox. Math. Log. Q. 45: 73-83 (1999) | |
| 1998 | ||
| 7 | Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein: Elementary Properties of the Finite Ranks. Math. Log. Q. 44: 349-353 (1998) | |
| 1994 | ||
| 6 | Krzysztof R. Apt, Kees Doets: A New Definition of SNDNF-Resolution. J. Log. Program. 18(2): 177-190 (1994) | |
| 5 | Kees Doets: Left Termination Turned into Termination. Theor. Comput. Sci. 124(1): 180-187 (1994) | |
| 1993 | ||
| 4 | Kees Doets: Levationis Laus. J. Log. Comput. 3(5): 487-516 (1993) | |
| 1992 | ||
| 3 | Kees Doets: A Slight Strengthening of a Theorem of Blair and Kunen. Theor. Comput. Sci. 97(1): 175-181 (1992) | |
| 1991 | ||
| 2 | Kees Doets: Axiomatizing Universal Properties of Quantifiers. J. Symb. Log. 56(3): 901-905 (1991) | |
| 1989 | ||
| 1 | Kees Doets: Monadic Pi11-Theories of Pi11-Properties. Notre Dame Journal of Formal Logic 30(2): 224-240 (1989) | |
| 1 | Krzysztof R. Apt | [6] |
| 2 | Anuj Dawar | [7] |
| 3 | Steven Lindell | [7] |
| 4 | Scott Weinstein | [7] |