![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 32
2022
Koepp, Nils und Schwichtenberg, Helmut
(2022):
Lookahead analysis in exact real arithmetic with logical methods.
In: Theoretical Computer Science, Bd. 943: S. 171-186
2021
Schwichtenberg, Helmut und Wiesnet, Franziskus
(2021):
LOGIC FOR EXACT REAL ARITHMETIC.
In: Logical Methods in Computer Science, Bd. 17, Nr. 2, 7
2016
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110
Ishihara, Hajime und Schwichtenberg, Helmut
(2016):
Embedding classical in minimal implicational logic.
In: Mathematical Logic Quarterly, Bd. 62, Nr. 1-2: S. 94-101
Schwichtenberg, Helmut; Seisenberger, Monika und Wiesnet, Franziskus
(2016):
Higman's Lemma and Its Computational Content.
In:
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 353-375
2015
Miyamoto, Kenji und Schwichtenberg, Helmut
(2015):
Program extraction in exact real arithmetic.
In: Mathematical Structures in Computer Science, Bd. 25, Nr. Special issue 8: S. 1692-1704
[PDF, 159kB]
1993
Schwichtenberg, Helmut
(1993):
Proofs as programs.
In: Aczel, P.; Simmons, H. und Wainer, S.S. (Hrsg.):
Proof Theory. Cambridge: Cambridge University Press. S. 81-113
[PDF, 2MB]
1992
Schwichtenberg, Helmut
(1992):
Minimal from classical proofs.
In: Börger, E.; Jäger, G.; Kleine-Büning, H. und Richter, M.M. (Hrsg.):
Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328
[PDF, 394kB]
1991
Schwichtenberg, Helmut
(1991):
Minimal logic for computable functions.
NATO Advanced Study Institute, International Summer School held in Marktoberdorf, Marktoberdorf, Germany, 23.Juli 1991 - 04. August 1991.
Bauer, Friedrich L. (Hrsg.):
In: Logic and algebra of specification,
Berlin, Heidelberg, New York: Springer. S. 290-320
[PDF, 2MB]
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
(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]
Berger, Ulrich und Schwichtenberg, Helmut
(1991):
An inverse of the evaluation functional for typed Lambda-calculus.
6th Annual IEE Symposium on Logic in Computer Science (LICS'91), Amsterdam, 15. - 18. Juli 1991.
Vermuri, R. (Hrsg.):
In: Proceedings of the 6th Symposium on Logic in Computer Science (LICS'91),
IEEE Computer Society Press, Los Alamitos. S. 203-211
[PDF, 1MB]
1990
Schütte, Kurt und Schwichtenberg, Helmut
(1990):
Mathematische Logik.
In: Scharlau, W.; Fischer, G.; Hirzebruch, F. und Törnig, W. (Hrsg.):
Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Bd. 6. Braunschweig: Vieweg. S. 717-740
[PDF, 4MB]
1989
Schwichtenberg, Helmut
(1989):
Normalization.
International Summer School Marktoberdorf, Marktoberdorf, Germany, 25. Juli 1989 - 26. August 1989.
Bauer, F. L. (Hrsg.):
In: Logic, Algebra and Computation. Proceedings of the International Summer School of Marktoberdorf,
Berlin: Springer. S. 201-234
[PDF, 2MB]
1988
Schwichtenberg, Helmut
(Juli 1988):
LCF with realizing terms: a framework for the developement and verification of programs.
Ludwig-Maximilians-Universität München
1987
Schwichtenberg, Helmut
(1987):
Mathematische Logik.
In:
TU Berlin (Hrsg.),
Mathematik. Bd. 10. Berlin: TU Berlin. S. 39-42
[PDF, 1MB]
1986
Schwichtenberg, Helmut
(1986):
A normal form for natural deductions in a type theory with realizing terms.
Congresso Logica e Filosofia della Scienza, San Gimignano, Italia, 07. - 11. Dezember 1983.
Abrusci, V.M. und Casari, E. (Hrsg.):
In: Atti del Congresso Logica e Filosofia della Scienza,
Bd. 1
Bologna: CLUEB. S. 95-138
[PDF, 2MB]
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
(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]
1982
Schwichtenberg, Helmut
(1982):
Complexity of normalization in the pure typed Lambda-calculus.
The L.E.J. Browner Centenary Symposium, Noordwijkerhout, Niederlande, 08. - 13. Juni 1981.
Troelstra, A.S. und Dalen, D. van (Hrsg.):
In: Studies in Logic and the Foundations of Mathematics. The L.E.J. Browner Centenary Symposium. Proceedings of the Conference hald in Noordwijkerhout,
Bd. 110
Amsterdam: North Holland Publishing Company. S. 453-458
[PDF, 437kB]
1979
Schwichtenberg, Helmut
(1979):
On bar recursion of types 0 and 1.
In: The Journal of Symbolic Logic, Nr. 44: S. 325-329
[PDF, 364kB]
1978
Schwichtenberg, Helmut
(1978):
Logic and the axiom of choice.
Logic Colloquium, Mons, Belgien, August 1978.
Boffa, M. (Hrsg.):
In: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS. Logic Colloquium '78, Studies in logic and the foundations of mathematics
Bd. 97
Amsterdam: North Holland Publishing Company. S. 351-356
[PDF, 618kB]
1977
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 Publishing Company. S. 867-895
[PDF, 2MB]
1976
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]
1975
Schwichtenberg, Helmut
(1975):
Elimination of higher type levels in definitions of primitive recursive functionals by means of transfinite recursion.
Logic Colloquium, Bristol, Juli 1973.
Rose, H.E. und Shepherdson, J.C. (Hrsg.):
In: Logic Colloquium '73, Studies in logic and the foundations of mathematics
Bd. 80
Amsterdam: North Holland Publishing Company. S. 279-303
[PDF, 1MB]
Schwichtenberg, Helmut und Wainer, Stanley S.
(1975):
Infinite terms and recursion in higher types.
In: Diller, J. und Müller, G.H. (Hrsg.):
Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364
[PDF, 843kB]
1973
Schwichtenberg, Helmut
(1973):
Einige Anwendungen von unendlichen Termen und Wertfunktionalen.
Habilitationsschrift,
Mathematisches Institut der Universität Münster
[PDF, 4MB]
[PDF, 4MB]
1972
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]
Rödding, Dieter und Schwichtenberg, Helmut
(1972):
Bemerkungen zum Spektralproblem.
In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Nr. 18: S. 1-12
[PDF, 653kB]
1971
Schwichtenberg, Helmut
(1971):
Eine Klassifikation der e0-rekursiven Funktionen.
In: Zeitschrift für mathematische Logik und Grundlagenforschung, Nr. 17: S. 61-74
[PDF, 811kB]
1969
Schwichtenberg, Helmut
(1969):
Rekursionszahlen und Grzegorczyk-Hierarchie.
In: Archiv für mathematische Logik und Grundlagenforschung, Nr. 12: S. 85-97
[PDF, 1MB]
1968
Schwichtenberg, Helmut
(1968):
Eine Klassifikation der mehrfach-rekursiven Funktionen.
Dissertation,
Mathematisches Institut der Universität Münster
[PDF, 13MB]
[PDF, 13MB]