Knowledge Base of
Publications,
Seminars,
&
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Eva Richter
1 results
Automating Proofs in Category Theory
| cite »
by Dexter Kozen, Christoph Kreitz, Eva Richter
2006