The SCEAS System
| |||||||

## Search the dblp DataBase
Stephan Schmitt:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Uwe Egly, Stephan Schmitt
**Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.**[Citation Graph (0, 0)][DBLP] AISC, 1998, pp:132-144 [Conf] - Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
**Matrix-based Constructive Theorem Proving.**[Citation Graph (0, 0)][DBLP] Intellectics and Computational Logic, 2000, pp:189-205 [Conf] - Uwe Egly, Stephan Schmitt
**Deriving Modular Programs from Short Proofs.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:561-577 [Conf] - Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
**Connection-Based Proof Construction in Linear Logic.**[Citation Graph (0, 0)][DBLP] CADE, 1997, pp:207-221 [Conf] - Stephan Schmitt, Christoph Kreitz
**Converting Non-Classical Matrix Proofs into Sequent-Style Systems.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:418-432 [Conf] - Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
**JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.**[Citation Graph (0, 0)][DBLP] IJCAR, 2001, pp:421-426 [Conf] - Christoph Kreitz, Jens Otten, Stephan Schmitt
**Guiding Program Development Systems by a Connection Based Proof Strategy.**[Citation Graph (0, 0)][DBLP] LOPSTR, 1995, pp:137-151 [Conf] - Stephan Schmitt
**A Tableau-Like Representation Framework for Efficient Proof Reconstruction.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:398-414 [Conf] - Stephan Schmitt, Christoph Kreitz
**On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1995, pp:106-121 [Conf] - Stephan Schmitt, Christoph Kreitz
**Deleting Redundancy in Proof Reconstruction.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 1998, pp:262-276 [Conf] - Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
**MetaPRL - A Modular Logical Environment.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:287-303 [Conf] - Uwe Egly, Stephan Schmitt
**Intuitionistic Proof Transformations: Complexity and Applications.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:17, n:, pp:- [Journal] - Uwe Egly, Stephan Schmitt
**On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:39, n:1-2, pp:59-83 [Journal] - Christoph Kreitz, Stephan Schmitt
**A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:162, n:1-2, pp:226-254 [Journal]
Search in 0.003secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |