SCEAS

The SCEAS System

Title:
Author:

Kees Doets: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP