Zur Seitenansicht
 

Titelaufnahme

Titel
Automated Amortised Resource Analysis for Term Rewrite Systems
VerfasserMoser, Georg ; Schneckenreither, Manuel
Erschienen in
Functional and Logic Programming. 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 911, 2018, Proceedings : Gallagher, J. P.; Sulzmann, M., Cham, 2018, S. 214-229
Erschienen2018
SpracheEnglisch
DokumenttypAufsatz in einem Sammelwerk
ISBN9783319906850
URNurn:nbn:at:at-ubi:3-3489 Persistent Identifier (URN)
DOI10.1007/978-3-319-90686-7_14 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Automated Amortised Resource Analysis for Term Rewrite Systems [0.43 mb]
Links
Nachweis
Klassifikation
Notiz
Statistik
Das PDF-Dokument wurde 19 mal heruntergeladen.