Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: Buchbeitrag
Anzahl der Publikationen: 1

Buchbeitrag

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]

Diese Liste wurde am Sun Nov 24 00:11:08 2024 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz