Kees Doets

Publication Activity (10 Years)

Years Active: 1987-2001
Publications (10 Years): 0

Publications

Kees Doets
Uniform Short Proofs for Classical Theorems. Notre Dame J. Formal Log. 42 (2) (2001)
Kees Doets
Relatives of the Russell Paradox. Math. Log. Q. 45 (1999)
Anuj Dawar, Kees Doets, Steven Lindell, Scott Weinstein
Elementary Properties of the Finite Ranks. Math. Log. Q. 44 (1998)
Krzysztof R. Apt, Kees Doets
A New Definition of SNDNF-Resolution. J. Log. Program. 18 (2) (1994)
Kees Doets
Left Termination Turned into Termination. Theor. Comput. Sci. 124 (1) (1994)
Kees Doets
Levationis Laus. J. Log. Comput. 3 (5) (1993)
Kees Doets
A Slight Strengthening of a Theorem of Blair and Kunen. Theor. Comput. Sci. 97 (1) (1992)
Kees Doets
Axiomatizing Universal Properties of Quantifiers. J. Symb. Log. 56 (3) (1991)
Kees Doets
-Properties. Notre Dame J. Formal Log. 30 (2) (1989)
Kees Doets
On n-equivalence of binary trees. Notre Dame J. Formal Log. 28 (2) (1987)