The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kenneth Kunen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kenneth Kunen
    Negation in Logic Programming. [Citation Graph (10, 0)][DBLP]
    J. Log. Program., 1987, v:4, n:4, pp:289-308 [Journal]
  2. Kenneth Kunen
    Signed Data Dependencies in Logic Programs. [Citation Graph (5, 0)][DBLP]
    J. Log. Program., 1989, v:7, n:3, pp:231-245 [Journal]
  3. Kenneth Kunen
    Some Remarks on the Completed Database. [Citation Graph (3, 0)][DBLP]
    ICLP/SLP, 1988, pp:978-992 [Conf]
  4. Kenneth Kunen
    Answer Sets and Negation-as-Failure. [Citation Graph (1, 0)][DBLP]
    ICLP, 1987, pp:219-228 [Conf]
  5. Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
    On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1991, pp:212-223 [Conf]
  6. W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
    Completeness Results for Inequality Provers. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1985, v:27, n:3, pp:255-288 [Journal]
  7. Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
    Polynomial-Time Compression. [Citation Graph (0, 0)][DBLP]
    Computational Complexity, 1992, v:2, n:, pp:18-39 [Journal]
  8. Kenneth Kunen
    Declarative Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:44, n:, pp:147-167 [Journal]
  9. Joan Hart, Kenneth Kunen
    Single Axioms for Odd Exponent Groups. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:14, n:3, pp:383-412 [Journal]
  10. Kenneth Kunen
    Single Axioms for Groups. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:291-308 [Journal]
  11. Kenneth Kunen
    A Ramsey Theorem in Boyer-Moore Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:2, pp:217-235 [Journal]
  12. Kenneth Kunen
    The Semantics of Answer Literals. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:17, n:1, pp:83-95 [Journal]
  13. Kenneth Kunen
    Nonconstructive Computational Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:1, pp:69-97 [Journal]
  14. John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
    The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1979, v:44, n:3, pp:469-480 [Journal]
  15. Jon Barwise, Kenneth Kunen, Joseph S. Ullian
    Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:365-372 [Journal]
  16. Tim Carlson, Kenneth Kunen, Arnold W. Miller
    A Minimal Degree Which Collapses omega1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:1, pp:298-300 [Journal]
  17. H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
    Descriptive Set Theory Over Hyperfinite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:4, pp:1167-1180 [Journal]
  18. Kenneth Kunen
    Implicit Definability and Infinitary Languages. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:3, pp:446-451 [Journal]
  19. Kenneth Kunen
    Elementary Embeddings and Infinitary Combinatorics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:3, pp:407-413 [Journal]
  20. Kenneth Kunen
    Saturated Ideals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:1, pp:65-76 [Journal]
  21. Kenneth Kunen
    Where Ma First Fails. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:429-433 [Journal]
  22. Kenneth Kunen, Karel Prikry
    On Descendingly Incomplete Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1971, v:36, n:4, pp:650-652 [Journal]
  23. Kenneth Kunen, Donald H. Pelletier
    On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:2, pp:475-481 [Journal]
  24. Kenneth Kunen, Franklin D. Tall
    The Real Line in Elementary Submodels of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:2, pp:683-691 [Journal]

Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002