default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephan Schmitt
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2000
[b1]Stephan Schmitt:
Proof reconstruction in classical and non-classical logics. Darmstadt University of Technology, Germany, DISKI 239, Infix Akademische Verlagsgesellschaft 2000, ISBN 978-3-89838-239-7, pp. I-XII, 1-216
Journal Articles
- 2015
- [j4]Christoph Bremberger, Francisca Bremberger, Mikulás Luptácik, Stephan Schmitt:
Regulatory impact of environmental standards on the eco-efficiency of firms. J. Oper. Res. Soc. 66(3): 421-433 (2015) - 2004
- [j3]Stephan Schmitt, Jan Felix Evers
, Carsten Duch, Michael Scholz, Klaus Obermayer:
New methods for the computer-assisted 3-D reconstruction of neurons from confocal image stacks. NeuroImage 23(4): 1283-1298 (2004) - 2000
- [j2]Christoph Kreitz, Stephan Schmitt:
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. Inf. Comput. 162(1-2): 226-254 (2000) - 1999
- [j1]Uwe Egly, Stephan Schmitt:
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. Fundam. Informaticae 39(1-2): 59-83 (1999)
Conference and Workshop Papers
- 2003
- [c12]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. TPHOLs 2003: 287-303 - 2001
- [c11]Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin:
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR 2001: 421-426 - [c10]Uwe Egly, Stephan Schmitt:
Deriving Modular Programs from Short Proofs. IJCAR 2001: 561-577 - 2000
- [c9]Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka:
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic 2000: 189-205 - [c8]Stephan Schmitt:
A Tableau-Like Representation Framework for Efficient Proof Reconstruction. TABLEAUX 2000: 398-414 - 1998
- [c7]Uwe Egly, Stephan Schmitt:
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. AISC 1998: 132-144 - [c6]Stephan Schmitt, Christoph Kreitz:
Deleting Redundancy in Proof Reconstruction. TABLEAUX 1998: 262-276 - [c5]Uwe Egly, Stephan Schmitt:
Intuitionistic Proof Transformations: Complexity and Applications. Proof Search in Type-Theoretic Languages@CADE 1998: 1-12 - 1997
- [c4]Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt:
Connection-Based Proof Construction in Linear Logic. CADE 1997: 207-221 - 1996
- [c3]Stephan Schmitt, Christoph Kreitz:
Converting Non-Classical Matrix Proofs into Sequent-Style Systems. CADE 1996: 418-432 - 1995
- [c2]Christoph Kreitz, Jens Otten, Stephan Schmitt:
Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR 1995: 137-151 - [c1]Stephan Schmitt, Christoph Kreitz:
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. TABLEAUX 1995: 106-121
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
