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:
201420122008
1997
199719952016Wrote 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.