The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stephan Schmitt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Uwe Egly, Stephan Schmitt
    Deriving Modular Programs from Short Proofs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:561-577 [Conf]
  4. 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]
  5. Stephan Schmitt, Christoph Kreitz
    Converting Non-Classical Matrix Proofs into Sequent-Style Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:418-432 [Conf]
  6. 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]
  7. 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]
  8. Stephan Schmitt
    A Tableau-Like Representation Framework for Efficient Proof Reconstruction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:398-414 [Conf]
  9. Stephan Schmitt, Christoph Kreitz
    On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:106-121 [Conf]
  10. Stephan Schmitt, Christoph Kreitz
    Deleting Redundancy in Proof Reconstruction. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:262-276 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002