Klaus Indermark. Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation. In Patrick Horster, editor, Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]. pages 118-143, Vieweg+Teubner Verlag / Springer, 1999. [doi]
@incollection{Indermark99a,
title = {Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation},
author = {Klaus Indermark},
year = {1999},
doi = {10.1007/978-3-322-83092-0_7},
url = {https://doi.org/10.1007/978-3-322-83092-0_7},
researchr = {https://researchr.org/publication/Indermark99a},
cites = {0},
citedby = {0},
pages = {118-143},
booktitle = {Angewandte Mathematik, insbesondere Informatik: Beispiele erfolgreicher Wege zwischen Mathematik und Informatik [Festschrift anläßlich der Emeritierung von Professor Dr. Walter Oberschel]},
editor = {Patrick Horster},
publisher = {Vieweg+Teubner Verlag / Springer},
isbn = {978-3-528-05720-6},
}