Browsing by Author Sinn, Moritz
Showing results 1 to 2 of 2
Preview | Authors / Editors | Title | Type | Issue Date |
---|---|---|---|---|
![]() | Fiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz; Vojnar, Tomáš ; Zuleger, Florian | From Shapes to Amortized Complexity | Inproceedings Konferenzbeitrag ![]() ![]() ![]() | 2018 |
![]() | Danninger, Clemens Florian | Resource Bound-Analyse von Lisp-Programmen | Thesis Hochschulschrift ![]() ![]() ![]() | 2016 |