![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert 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]