Eliminating recursion in the my-calculus

Otto, Martin

Berlin ; Heidelberg ; New York : Springer (1999)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings / STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999 / Christoph Meinel ... (ed.)
Seite(n)/Artikel-Nr.: 531-540