The SCEAS System
Navigation Menu

Search the dblp DataBase


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

Publications of Author

  1. 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]
  2. Kees Doets
    Axiomatizing Universal Properties of Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:3, pp:901-905 [Journal]
  3. Kees Doets
    Levationis Laus. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:5, pp:487-516 [Journal]
  4. 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]
  5. Kees Doets
    Relatives of the Russell Paradox. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:73-83 [Journal]
  6. 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]
  7. Kees Doets
    Monadic Pi11-Theories of Pi11-Properties. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:2, pp:224-240 [Journal]
  8. 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]
  9. 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.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002