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