Kenneth Kunen - RankMe

29 papers B 1Journal 24Unranked 2

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Continuous Maps on Aronszajn Trees. Order Kenneth Kunen, Jean A. Larson, Juris Steprans
2012	J	`jnl`	Forcing and Differentiable Functions. Order Kenneth Kunen
2009	J	`jnl`	Gregory trees, the continuum, and Martin's axiom. J. Symb. Log. Kenneth Kunen, Dilip Raghavan
2000	J	`jnl`	The Real Line in Elementary Submodels of Set Theory. J. Symb. Log. Kenneth Kunen, Franklin D. Tall
1998	J	`jnl`	Nonconstructive Computational Mathematics. J. Autom. Reason. Kenneth Kunen
1996	J	`jnl`	The Semantics of Answer Literals. J. Autom. Reason. Kenneth Kunen
1995	J	`jnl`	A Ramsey Theorem in Boyer-Moore Logic. J. Autom. Reason. Kenneth Kunen
1995	J	`jnl`	Single Axioms for Odd Exponent Groups. J. Autom. Reason. Joan Hart, Kenneth Kunen
1993	—	`ch.`	Declarative Semantics of Logic Programming. Current Trends in Theoretical Computer Science Kenneth Kunen
1992	J	`jnl`	Polynomial-Time Compression. Comput. Complex. Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
1992	J	`jnl`	Single Axioms for Groups. J. Autom. Reason. Kenneth Kunen
1991	J	`jnl`	Declarative Semantics of Logic Programming. Bull. EATCS Kenneth Kunen
1991	—	`conf`	On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions. FSTTCS Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
1989	J	`jnl`	Descriptive Set Theory Over Hyperfinite Sets. J. Symb. Log. H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
1989	J	`jnl`	Signed Data Dependencies in Logic Programs. J. Log. Program. Kenneth Kunen
1988	—	`conf`	Some Remarks on the Completed Database. ICLP/SLP Kenneth Kunen
1988	J	`jnl`	Where Ma First Fails. J. Symb. Log. Kenneth Kunen
1987	B	`conf`	Answer Sets and Negation-as-Failure. ICLP Kenneth Kunen
1987	J	`jnl`	Negation in Logic Programming. J. Log. Program. Kenneth Kunen
1985	J	`jnl`	Completeness Results for Inequality Provers. Artif. Intell. W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
1984	J	`jnl`	A Minimal Degree Which Collapses omega J. Symb. Log. Tim Carlson, Kenneth Kunen, Arnold W. Miller
1983	J	`jnl`	On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. J. Symb. Log. Kenneth Kunen, Donald H. Pelletier
1983	—	`book`	Set theory - an introduction to independence proofs. Kenneth Kunen
1979	J	`jnl`	The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
1978	J	`jnl`	Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. J. Symb. Log. Jon Barwise, Kenneth Kunen, Joseph S. Ullian
1978	J	`jnl`	Saturated Ideals. J. Symb. Log. Kenneth Kunen
1971	J	`jnl`	Elementary Embeddings and Infinitary Combinatorics. J. Symb. Log. Kenneth Kunen
1971	J	`jnl`	On Descendingly Incomplete Ultrafilters. J. Symb. Log. Kenneth Kunen, Karel Prikry
1968	J	`jnl`	Implicit Definability and Infinitary Languages. J. Symb. Log. Kenneth Kunen