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: Schmitt:Stephan
Contributed to:
2001
19971996
1995Wrote 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.