Skip to content
cs-conference-ranking.org

Stephan Schmitt

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

4

Active years

1995–2001

Best venue rank

A

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2001CADEDeriving Modular Programs from Short Proofs.Uwe Egly, Stephan Schmitt
2001CADEJProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
2000TABLEAUXA Tableau-Like Representation Framework for Efficient Proof Reconstruction.Stephan Schmitt
1998AISCIntuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.Uwe Egly, Stephan Schmitt
1998TABLEAUXDeleting Redundancy in Proof Reconstruction.Stephan Schmitt, Christoph Kreitz
1997CADEConnection-Based Proof Construction in Linear Logic.Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
1996CADEConverting Non-Classical Matrix Proofs into Sequent-Style Systems.Stephan Schmitt, Christoph Kreitz
1995LOPSTRGuiding Program Development Systems by a Connection Based Proof Strategy.Christoph Kreitz, Jens Otten, Stephan Schmitt
1995TABLEAUXOn Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.Stephan Schmitt, Christoph Kreitz