| 1997 |
|---|
| 4 | | Daniel S. Korn,
Christoph Kreitz:
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.
CADE 1997: 131-145 |
| 3 | EE | 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 |
|---|
| 2 | | Wolfgang Bibel,
Daniel S. Korn,
Christoph Kreitz,
Stephen Schmitt:
Problem-Oriented Applications of Automated Theorem Proving.
DISCO 1996: 1-21 |
| 1995 |
|---|
| 1 | | 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 |
