Communication Dans Un Congrès Année : 2022

What Can Be Certified Compactly?

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

Dates et versions

hal-03773011 , version 1 (14-12-2022)

Licence

Identifiants

Citer

Nicolas Bousquet, Laurent Feuilloley, Théo Pierron. What Can Be Certified Compactly?. PODC '22: ACM Symposium on Principles of Distributed Computing, Jul 2022, Salerno, Italy. pp.131-140, ⟨10.1145/3519270.3538416⟩. ⟨hal-03773011⟩
97 Consultations
268 Téléchargements

Altmetric

Partager

  • More