Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Jens Otten
3 results
Matrix-Based Constructive Theorem Proving
| cite »
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
2000
Connection-Based Theorem Proving in Classical and Non-Classical Logics
| cite »
by Christoph Kreitz, Jens Otten
1999
Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
by Jens Otten, Stephan Schmitt
June 23, 1998