| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 10 |      | Kees Doets: Uniform Short Proofs for Classical Theorems. Notre Dame Journal of Formal Logic 42(2): 121-127 (2001) |
| 1999 | ||
| 9 |  | Kees Doets: Relatives of the Russell Paradox. Math. Log. Q. 45: 73-83 (1999) |
| 1998 | ||
| 8 | | Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein: Elementary Properties of the Finite Ranks. Math. Log. Q. 44: 349-353 (1998) |
| 1994 | ||
| 7 | | Kees Doets: From logic to logic programming. MIT Press 1994: I-XII, 1-214 |
| 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 | [8] |
| 3 | Steven Lindell | [8] |
| 4 | Scott Weinstein | [8] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page