Search the dblp DataBase
Kenneth Kunen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kenneth Kunen Negation in Logic Programming. [Citation Graph (10, 0)][DBLP ] J. Log. Program., 1987, v:4, n:4, pp:289-308 [Journal ] 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 ] Kenneth Kunen Some Remarks on the Completed Database. [Citation Graph (3, 0)][DBLP ] ICLP/SLP, 1988, pp:978-992 [Conf ] Kenneth Kunen Answer Sets and Negation-as-Failure. [Citation Graph (1, 0)][DBLP ] ICLP, 1987, pp:219-228 [Conf ] 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 ] 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 ] 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 ] Kenneth Kunen Declarative Semantics of Logic Programming. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1991, v:44, n:, pp:147-167 [Journal ] 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 ] Kenneth Kunen Single Axioms for Groups. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1992, v:9, n:3, pp:291-308 [Journal ] 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 ] Kenneth Kunen The Semantics of Answer Literals. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1996, v:17, n:1, pp:83-95 [Journal ] Kenneth Kunen Nonconstructive Computational Mathematics. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 1998, v:21, n:1, pp:69-97 [Journal ] 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 ] 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 ] 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 ] 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 ] Kenneth Kunen Implicit Definability and Infinitary Languages. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1968, v:33, n:3, pp:446-451 [Journal ] Kenneth Kunen Elementary Embeddings and Infinitary Combinatorics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1971, v:36, n:3, pp:407-413 [Journal ] Kenneth Kunen Saturated Ideals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1978, v:43, n:1, pp:65-76 [Journal ] Kenneth Kunen Where Ma First Fails. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1988, v:53, n:2, pp:429-433 [Journal ] 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 ] 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 ] 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.002secs, Finished in 0.003secs