Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation

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]

Abstract

Abstract is missing.