dblp.uni-trier.dewww.uni-trier.de

Kees Doets Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)