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 × 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 DBLP: Otten:Jens

Contributed to:

IJCAR 20142014
IJCAR 20122012
IJCAR 20082008
CADE 19971997
LOPSTR 19971997
LOPSTR 19951995
IJCAR 20162016

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.

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.