`Travelled to:`

1 × Austria

1 × Belgium

1 × The Netherlands

1 × United Kingdom

2 × Australia

`Collaborated with:`

∅ C.Kreitz S.Schmitt T.Raths H.Mantel W.Bibel D.S.Korn F.Kurucz S.Schmitt G.Stolpmann

`Talks about:`

connect (4) logic (4) program (2) prover (2) proof (2) order (2) modal (2) first (2) base (2) intuitionist (1)

## Person: Jens Otten

### DBLP: Otten:Jens

### Contributed to:

### Wrote 7 papers:

- IJCAR-2014-Otten #first-order #logic #named #proving
- MleanCoP: A Connection Prover for First-Order Modal Logic (JO), pp. 269–276.
- IJCAR-2012-RathsO #first-order #library #logic #problem
- The QMLTP Problem Library for First-Order Modal Logics (TR, JO), pp. 454–461.
- IJCAR-2008-Otten #agile #logic #performance #proving #theorem proving
- leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (JO), pp. 283–291.
- CADE-1997-KreitzMOS #linear #logic #proving
- Connection-Based Proof Construction in Linear Logic (CK, HM, JO, SS), pp. 207–221.
- LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
- A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.
- LOPSTR-1995-KreitzOS #development #proving
- Guiding Program Development Systems by a Connection Based Proof Strategy (CK, JO, SS), pp. 137–151.
- IJCAR-2016-Otten #named #proving
- nanoCoP: A Non-clausal Connection Prover (JO), pp. 302–312.