Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Book title Buchtitel
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Publisher Herausgeber
ACM
Place of publishing Erscheinungsort
Oxford
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Brázdil, Tomáš ; Chatterjee, Krishnendu ; Kučera, Antonín ; Novotný, Petr ; Velan, Dominik ; Zuleger, Florian | Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS | Konferenzbeitrag Inproceedings  | 2018 |