Kees Doets

	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)

Coauthor Index

1	Krzysztof R. Apt	[6]
2	Anuj Dawar	[7]
3	Steven Lindell	[7]
4	Scott Weinstein	[7]

Colors in the list of coauthors