`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:

### 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.