|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
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]