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: 2

Buchbeitrag

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]

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]

Diese Liste wurde am Sat Feb 15 23:08:51 2025 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