Logo Logo
Eine Ebene nach oben
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 Mar 23 21:36:26 2024 CET erstellt.