TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 7.

Buchkapitel

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Schmitt, Stephan ; Kreitz, (1998)
Deleting redundancy in proof reconstruction.
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998)
A multi-level approach to program synthesis.
Konferenzveröffentlichung, Bibliographie

Korn, Daniel ; Kreitz, (1997)
Deciding intuitionistic propositional logic via translation into classical logic.
Konferenzveröffentlichung, Bibliographie

Schmitt, Stephan ; Kreitz, (1996)
On converting non-classical matrix proofs into sequent -style systems.
Konferenzveröffentlichung, Bibliographie

Schmitt, S. ; Kreitz, (1995)
On transforming intuitionistic matrix proofs into standard-sequent proofs.
Konferenzveröffentlichung, Bibliographie

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:12:43 2024 CET generiert.