//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Stephan Schmitt

6 results


Publication JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants | cite »
by Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
2001

Publication A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems | cite »
by Christoph Kreitz, Stephan Schmitt
2000

Publication Matrix-Based Constructive Theorem Proving | cite »
by Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
2000

Seminar An Efficient Refiner for First-order Intuitionistic Logic (Part II)
by Stephan Schmitt
May 22, 2000

Seminar An Efficient Refiner for First-order Intuitionistic Logic
by Stephan Schmitt
February 28, 2000

Seminar Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
by Jens Otten, Stephan Schmitt
June 23, 1998