Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Daniel S. Korn

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0096922
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/KornK97
- ask others
Daniel S. Korn, Christoph Kreitz: Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE 1997: 131-145
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/BibelKKKOSS97
- ask others
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]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/disco/BibelKKS96
- ask others
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt: Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21
1995
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tableaux/BibelBEKR95
- ask others
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

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?