 | 2008 |
|---|
| 16 |       | Jens Otten:
leanCoP 2.0and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions).
IJCAR 2008: 283-291 |
| 15 | | Thomas Raths,
Jens Otten:
randoCoP: Randomizing the Proof Search Order in the Connection Calculus.
PAAR/ESHOL 2008 |
| 2007 |
|---|
| 14 | | Thomas Raths,
Jens Otten,
Christoph Kreitz:
The ILTP Problem Library for Intuitionistic Logic.
J. Autom. Reasoning 38(1-3): 261-271 (2007) |
| 2005 |
|---|
| 13 | | Jens Otten:
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.
TABLEAUX 2005: 245-261 |
| 12 | | Thomas Raths,
Jens Otten,
Christoph Kreitz:
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.
TABLEAUX 2005: 333-337 |
| 2003 |
|---|
| 11 | | Jens Otten,
Wolfgang Bibel:
leanCoP: lean connection-based theorem proving.
J. Symb. Comput. 36(1-2): 139-161 (2003) |
| 2000 |
|---|
| 10 |  | Christoph Kreitz,
Jens Otten,
Stephan Schmitt,
Brigitte Pientka:
Matrix-based Constructive Theorem Proving.
Intellectics and Computational Logic 2000: 189-205 |
| 1999 |
|---|
| 9 | | Heiko Mantel,
Jens Otten:
linTAP: A Tableau Prover for Linear Logic.
TABLEAUX 1999: 217-231 |
| 8 | | Christoph Kreitz,
Jens Otten:
Connection-based Theorem Proving in Classical and Non-classical Logics.
J. UCS 5(3): 88-112 (1999) |
| 1997 |
|---|
| 7 | | Christoph Kreitz,
Heiko Mantel,
Jens Otten,
Stephan Schmitt:
Connection-Based Proof Construction in Linear Logic.
CADE 1997: 207-221 |
| 6 | | Wolfgang Bibel,
Daniel S. Korn,
Christoph Kreitz,
F. Kurucz,
Jens Otten,
Stephen Schmitt,
G. Stolpmann:
A Multi-level Approach to Program Synthesis.
LOPSTR 1997: 1-27 |
| 5 | | Jens Otten:
ileanTAP: An Intuitionistic Theorem Prover.
TABLEAUX 1997: 307-312 |
| 1996 |
|---|
| 4 | | Jens Otten,
Christoph Kreitz:
A Uniform Proof Procedure for Classical and Non-Classical Logics.
KI 1996: 307-319 |
| 3 | | Jens Otten,
Christoph Kreitz:
T-String Unification: Unifying Prefixes in Non-classical Proof Methods.
TABLEAUX 1996: 244-260 |
| 1995 |
|---|
| 2 | | Christoph Kreitz,
Jens Otten,
Stephan Schmitt:
Guiding Program Development Systems by a Connection Based Proof Strategy.
LOPSTR 1995: 137-151 |
| 1 | | Jens Otten:
A Connection Based Proof Method for Intuitionistic Logic.
TABLEAUX 1995: 122-137 |
