|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Hofmann, Martin; Leutgeb, Lorenz; Obwaller, David; Moser, Georg und Zuleger, Florian
(2022):
Type-based analysis of logarithmic amortised complexity.
In: Mathematical Structures in Computer Science, Bd. 32, Nr. 6, PII S0960129521000232: S. 794-826