Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Dexter Kozen
3 results
Formalizing Moessner's Theorem in Nuprl
by Mark Bickford, Dexter Kozen, Alexandra Silva
June 08, 2012
Automating Proofs in Category Theory
| cite »
by Dexter Kozen, Christoph Kreitz, Eva Richter
2006
A Proof-Theoretic Approach to Knowledge Acquisition"
by Dexter Kozen
January 28, 2002