www.lmu.de
|
UB
|
Blättern
|
Hilfe
Zur erweiterten Suche
English
Login
Registrieren
Admin
Home
Blättern
Hilfe
Fakultäten
Fakultätsübergreifende Einrichtungen
Personen
Themengebiete
Keimelion
Ludovico-Maximilianea
MALTE
Zur erweiterten Suche
Eine Ebene höher
Exportieren als
ASCII Citation
BibTeX
Dublin Core
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
JSON_EPUB
JSON_EPUB_DOCTYPES
JSON_EPUB_FSP
JSON_EPUB_NEW
METS
Multiline CSV
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
RSS 1.0
RSS 2.0
Gruppiert nach:
Dokumententyp
|
Veröffentlichungsdatum
Springe zu:
2022
Anzahl der Publikationen:
1
2022
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
Diese Liste wurde am
Sat Nov 16 20:33:47 2024 CET
erstellt.