Daniel S. Korn

According to our database, Daniel S. Korn authored at least 5 papers between 1995 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.

Daniel S. Korn

PhD thesis, 1999

1997

A Multi-level Approach to Program Synthesis.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.

Daniel S. Korn, Christoph Kreitz

Proceedings of the Automated Deduction, 1997

1996

Problem-Oriented Applications of Automated Theorem Proving.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Issues in Theorem Proving Based on the Connection Method.

Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995