Logo
EnglishCookie löschen - von nun an wird die Spracheinstellung Ihres Browsers verwendet.
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 26 .

Hochschulschrift

Schwichtenberg, Helmut (1973): Einige Anwendungen von unendlichen Termen und Wertfunktionalen. Habilitationsschrift, Mathematisches Institut der Universität Münster
[PDF, 4MB]

Schwichtenberg, Helmut (1968): Eine Klassifikation der mehrfach-rekursiven Funktionen. Dissertation, Mathematisches Institut der Universität Münster
[PDF, 13MB]

Zeitschriftenartikel

Schwichtenberg, Helmut (1991): An upper bound for reduction sequences in the typed gamma-calculus. In: Archive for Mathematical Logic, Nr. 30: S. 405-408 [PDF, 209kB]

Schwichtenberg, Helmut (1979): On bar recursion of types 0 and 1. In: The Journal of Symbolic Logic, Nr. 44: S. 325-329 [PDF, 364kB]

Schwichtenberg, Helmut (1976): Definierbare Funktionen im Lambda-Kalkül mit Typen. In: Archiv für mathematische Logik und Grundlagenforschung, Nr. 17: S. 113-114 [PDF, 180kB]

Rödding, Dieter; Schwichtenberg, Helmut (1972): Bemerkungen zum Spektralproblem. In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Nr. 18: S. 1-12 [PDF, 653kB]

Schwichtenberg, Helmut (1972): Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, Nr. 15: S. 129-145 [PDF, 1MB]

Schwichtenberg, Helmut (1971): Eine Klassifikation der e0-rekursiven Funktionen. In: Zeitschrift für mathematische Logik und Grundlagenforschung, Nr. 17: S. 61-74 [PDF, 811kB]

Schwichtenberg, Helmut (1969): Rekursionszahlen und Grzegorczyk-Hierarchie. In: Archiv für mathematische Logik und Grundlagenforschung, Nr. 12: S. 85-97 [PDF, 1MB]

Buchbeitrag

Schwichtenberg, Helmut (1993): Proofs as programs. In: Aczel, P.; Simmons, H.; Wainer, S.S. (Hrsg.): Proof Theory. Cambridge: Cambridge University Press. S. 81-113 [PDF, 2MB]

Schwichtenberg, Helmut (1992): Minimal from classical proofs. In: Börger, E.; Jäger, G.; Kleine-Büning, H.; Richter, M.M. (Hrsg.): Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328 [PDF, 394kB]

Schwichtenberg, Helmut (1991): Primitive recursion on the partial continuous functionals. In: Broy, M. (Hrsg.): Informatik und Mathematik. Berlin, Heidelberg, New York: Springer. S. 251-268 [PDF, 1MB]

Schütte, Kurt; Schwichtenberg, Helmut (1990): Mathematische Logik. In: Scharlau, W.; Fischer, G.; Hirzebruch, F.; Törnig, W. (Hrsg.): Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Bd. 6. Braunschweig: Vieweg. S. 717-740 [PDF, 4MB]

Schwichtenberg, Helmut (1987): Mathematische Logik. In: TU Berlin (Hrsg.), Mathematik. Bd. 10. Berlin: TU Berlin. S. 39-42 [PDF, 1MB]

Schwichtenberg, Helmut (1986): Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen. In: Börger, E. (Hrsg.): Computation Theory and Logic. Bd. 270. Berlin, Heidelberg, New York: Springer. S. 334-348 [PDF, 654kB]

Schwichtenberg, Helmut (1986): Eine Normalform für endliche Approximationen partiellen stetigen Funktionalen. In: Diller, J. (Hrsg.): Logik und Grundlagenforschung. Festkolloquium zum 100. Geburtstag von Heinrich Scholz. Schriftenreihe der Westfälischen Wilhelms-Universität Münster / Neue Folge, Bd. 8. Münster: Aschendorff. S. 89-95 [PDF, 580kB]

Schwichtenberg, Helmut (1977): Proof Theorie: Some applications of cut-elimination. In: Barwise, J. (Hrsg.): Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Bd. 90. Amsterdam: North-Holland. S. 867-895 [PDF, 2MB]

Schwichtenberg, Helmut; Wainer, Stanley S. (1975): Infinite terms and recursion in higher types. In: Diller, J.; Müller, G.H. (Hrsg.): Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364 [PDF, 843kB]

Konferenzbeitrag

Berger, Ulrich; Schwichtenberg, Helmut (1991): An inverse of the evaluation functional for typed Lambda-calculus. 6th Annual IEE Symposium on Logic in Computer Science (LICS'91), 15. - 18. Juli 1991, Amsterdam. [PDF, 1MB]

Schwichtenberg, Helmut (1991): Minimal logic for computable functions. NATO Advanced Study Institute, International Summer School held in Marktoberdorf, 23.Juli 1991 - 04. August 1991, Marktoberdorf, Germany. [PDF, 2MB]

Schwichtenberg, Helmut (1989): Normalization. International Summer School Marktoberdorf, 25. Juli 1989 - 26. August 1989, Marktoberdorf, Germany. [PDF, 2MB]

Schwichtenberg, Helmut (1986): A normal form for natural deductions in a type theory with realizing terms. Congresso Logica e Filosofia della Scienza, 07. - 11. Dezember 1983, San Gimignano, Italia. [PDF, 2MB]

Schwichtenberg, Helmut (1982): Complexity of normalization in the pure typed Lambda-calculus. The L.E.J. Browner Centenary Symposium, 08. - 13. Juni 1981, Noordwijkerhout, Niederlande. [PDF, 437kB]

Schwichtenberg, Helmut (1978): Logic and the axiom of choice. Logic Colloquium, August 1978, Mons, Belgien. [PDF, 618kB]

Schwichtenberg, Helmut (1975): Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion. Logic Colloquium, Juli 1973, Bristol. [PDF, 1MB]

Vorlesung

Schwichtenberg, Helmut (Juli 1988): LCF with realizing terms: a framework for the developement and verification of programs. Ludwig-Maximilians-Universität München

Diese Liste wurde am Fri Dec 9 05:17:25 2016 CET erstellt.