TU Darmstadt / ULB / TUbiblio

On intuitionistic proof transformations, their complexity, and application to constructive program synthesis

Egly, Uwe ; Schmitt, S. :
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, 39 pp. 59-83.
[Artikel], (1999)

Typ des Eintrags: Artikel
Erschienen: 1999
Autor(en): Egly, Uwe ; Schmitt, S.
Titel: On intuitionistic proof transformations, their complexity, and application to constructive program synthesis
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Fundamenta Informaticae
Band: 39
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:22
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen