When Reachability Meets Grzegorczyk - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

When Reachability Meets Grzegorczyk

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

Dates et versions

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

Identifiants

  • HAL Id : hal-03052576 , version 1

Citer

Jérôme Leroux. When Reachability Meets Grzegorczyk. LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.1-6. ⟨hal-03052576⟩

Collections

CNRS ANR
41 Consultations
84 Téléchargements

Partager

More