Eliminating recursion in the my-calculus

Berlin ; Heidelberg ; New York / Springer (1999) [Beitrag zu einem Tagungsband]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Otto, Martin

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-184610