Efficient Analysis of VASS Termination Complexity - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Efficient Analysis of VASS Termination Complexity

Antonín Kučera
  • Fonction : Auteur
Masaryk University [Brno]
Jérôme Leroux
Laboratoire Bordelais de Recherche en Informatique
CV
Dominik Velan
  • Fonction : Auteur
Masaryk University [Brno]

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main.pdf (627.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Jérôme Leroux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03052592

Soumis le : vendredi 19 novembre 2021-10:56:27

Dernière modification le : vendredi 24 mars 2023-14:53:24

Archivage à long terme le : dimanche 20 février 2022-18:37:29

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ANR
26 Consultations
45 Téléchargements

Partager

Gmail Facebook X LinkedIn More