- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| b1 |      | Daniel S. Korn: Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. DISKI 198, Infix 1999, isbn 978-3-89601-198-5, pp. I-XV, 1-213 |
| 1997 | ||
| c4 |  | Daniel S. Korn, Christoph Kreitz: Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE 1997: 131-145 |
| c3 | | 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 |
| 1996 | ||
| c2 | | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21 |
| 1995 | ||
| c1 | | Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath: Issues in Theorem Proving Based on the Connection Method. TABLEAUX 1995: 1-16 |
| 1 | Wolfgang Bibel | |
| 2 | Stefan Brüning | |
| 3 | Uwe Egly | |
| 4 | Christoph Kreitz | |
| 5 | F. Kurucz | |
| 6 | Jens Otten | |
| 7 | Thomas Rath | |
| 8 | Stephen Schmitt | |
| 9 | G. Stolpmann |
Data released under the ODC-BY 1.0 license — See also our legal information page