Communication Dans Un Congrès Année : 2020

Efficient Analysis of VASS Termination Complexity

Fichier principal
Vignette du fichier
main.pdf (627.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
DOI

Cite 10.1145/3373718.3394751 Autre Kučera, A., Leroux, J., & Velan, D. (2020). Efficient Analysis of VASS Termination Complexity. In Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 676–688). LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. ACM. https://doi.org/10.1145/3373718.3394751

Dates et versions

hal-03052592 , version 1 (19-11-2021)

Licence

Identifiants

  • HAL Id : hal-03052592 , version 1

Citer

Antonín Kučera, Jérôme Leroux, Dominik Velan. Efficient Analysis of VASS Termination Complexity. LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.676-688. ⟨hal-03052592⟩
89 Consultations
255 Téléchargements

Partager

  • More