Daniel S. Korn

Publication Activity (10 Years)

Years Active: 1995-1997
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
A Multi-level Approach to Program Synthesis. LOPSTR (1997)
Daniel S. Korn, Christoph Kreitz
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
Problem-Oriented Applications of Automated Theorem Proving. DISCO (1996)
Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath
Issues in Theorem Proving Based on the Connection Method. TABLEAUX (1995)