BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Italy
1 × The Netherlands
1 × USA
Collaborated with:
C.Kreitz J.Otten U.Egly L.Lorigo A.Nogin H.Mantel
Talks about:
proof (5) connect (3) base (3) program (2) system (2) construct (1) strategi (1) interact (1) theorem (1) sequent (1)

Person: Stephan Schmitt

DBLP DBLP: Schmitt:Stephan

Contributed to:

IJCAR 20012001
CADE 19971997
CADE 19961996
LOPSTR 19951995

Wrote 5 papers:

IJCAR-2001-EglyS #composition #proving #source code
Deriving Modular Programs from Short Proofs (UE, SS), pp. 561–577.
IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
CADE-1997-KreitzMOS #linear #logic #proving
Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.
CADE-1996-SchmittK #matrix #proving
Converting Non-Classical Matrix Proofs into Sequent-Style Systems (SS, CK), pp. 418–432.
LOPSTR-1995-KreitzOS #development #proving
Guiding Program Development Systems by a Connection Based Proof Strategy (CK, JO, SS), pp. 137–151.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.