| |
| 2008 | ||
|---|---|---|
| 3 | EE | Thomas Raths, Jens Otten: randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL 2008 |
| 2007 | ||
| 2 | EE | Thomas Raths, Jens Otten, Christoph Kreitz: The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reasoning 38(1-3): 261-271 (2007) |
| 2005 | ||
| 1 | EE | Thomas Raths, Jens Otten, Christoph Kreitz: The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX 2005: 333-337 |
| 1 | Christoph Kreitz | [1] [2] |
| 2 | Jens Otten | [1] [2] [3] |