Egly, Uwe ; Schmitt, S. (1999)
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, 39 (1-2)
doi: 10.3233/FI-1999-391204
Artikel, Bibliographie
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 1999 |
| Autor(en): | Egly, Uwe ; Schmitt, S. |
| Art des Eintrags: | Bibliographie |
| Titel: | On intuitionistic proof transformations, their complexity, and application to constructive program synthesis |
| Sprache: | Englisch |
| Publikationsjahr: | 1999 |
| Verlag: | IOS Press |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Fundamenta Informaticae |
| Jahrgang/Volume einer Zeitschrift: | 39 |
| (Heft-)Nummer: | 1-2 |
| DOI: | 10.3233/FI-1999-391204 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 19 Nov 2008 16:22 |
| Letzte Änderung: | 11 Dez 2020 11:41 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum