Daniel S. Korn (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Daniel S. Korn, Christoph Kreitz: Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE 1997: 131-145

3 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

2 Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21

Selection of 3 from 5 records - Daniel S. Korn has 9 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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