Daniel S. Korn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1995–1997
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CADE | Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. | Daniel S. Korn, Christoph Kreitz |
| 1997 | LOPSTR | A Multi-level Approach to Program Synthesis. | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann |
| 1995 | TABLEAUX | Issues in Theorem Proving Based on the Connection Method. | Wolfgang Bibel, Stefan Brning, Uwe Egly, Daniel S. Korn, Thomas Rath |