Article Dans Une Revue
Logical Methods in Computer Science
Année : 2017
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189623
Soumis le : dimanche 4 avril 2021-13:04:07
Dernière modification le : vendredi 5 août 2022-14:58:08
Dates et versions
Identifiants
- HAL Id : hal-03189623 , version 1
Citer
Jean Goubault-Larrecq, Kok Min Ng. A Few Notes on Formal Balls. Logical Methods in Computer Science, 2017. ⟨hal-03189623⟩
Collections
40
Consultations
0
Téléchargements