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]
No references recorded for this publication.
No citations of this publication recorded.