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 : jeudi 25 avril 2024-10:26:18
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