Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Stephan Schmitt
6 results
JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants
| cite »
by Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
2001
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems
| cite »
by Christoph Kreitz, Stephan Schmitt
2000
Matrix-Based Constructive Theorem Proving
| cite »
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
2000
An Efficient Refiner for First-order Intuitionistic Logic (Part II)
by Stephan Schmitt
May 22, 2000
An Efficient Refiner for First-order Intuitionistic Logic
by Stephan Schmitt
February 28, 2000
Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
by Jens Otten, Stephan Schmitt
June 23, 1998