Kenneth Kunen
Affiliations: University of Wisconsin, Madison, WI, USA
According to our database^{1},
Kenneth Kunen
authored at least 29 papers
between 1968 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on id.loc.gov

on dnb.info

on isni.org

on andrej.com
On csauthors.net:
Bibliography
2012
Order, 2012
Order, 2012
2009
J. Symb. Log., 2009
2000
J. Symb. Log., 2000
1998
J. Autom. Reason., 1998
1996
J. Autom. Reason., 1996
1995
J. Autom. Reason., 1995
J. Autom. Reason., 1995
1993
Proceedings of the Current Trends in Theoretical Computer Science  Essays and Tutorials, 1993
1992
J. Autom. Reason., 1992
Comput. Complex., 1992
1991
Declarative Semantics of Logic Programming.
Bull. EATCS, 1991
On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991
1989
J. Symb. Log., 1989
J. Log. Program., 1989
1988
J. Symb. Log., 1988
Some Remarks on the Completed Database.
Proceedings of the Logic Programming, 1988
1987
J. Log. Program., 1987
Answer Sets and NegationasFailure.
Proceedings of the Logic Programming, 1987
1985
Artif. Intell., 1985
1984
J. Symb. Log., 1984
1983
On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals.
J. Symb. Log., 1983
Set theory  an introduction to independence proofs.
Studies in logic and the foundations of mathematics 102, NorthHolland, ISBN: 9780444868398, 1983
1979
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic.
J. Symb. Log., 1979
1978
J. Symb. Log., 1978
J. Symb. Log., 1978
1971
J. Symb. Log., 1971
J. Symb. Log., 1971
1968
J. Symb. Log., 1968