What Can Be Certified Compactly? - Archive ouverte HAL Accéder directement au contenu
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)

Dates et versions

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

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⟩
33 Consultations
53 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More