ICALP 2023 - Best paper - Track B
-
63 views
-
0 Kommentare
-
0 likes
-
0 favorites
-
Thomas
Thissen
- 44 Medien
- hochgeladen 7. September 2023
Coverability in VASS Revisited: Improving Rackoffs Bound to Obtain Conditional Optimality / Marvin Künnemann, Filip Mazowiecki, Lia Schütze, Henry Sinclair-Banks and Karol Wgrzycki / Speaker: Henry Sinclair-Banks
Kategorien:
Veranstaltungen, Forschung
