HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

A Few Notes on Formal Balls

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03189623
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Sunday, April 4, 2021 - 1:04:07 PM
Last modification on : Wednesday, April 27, 2022 - 5:22:08 PM

Identifiers

  • HAL Id : hal-03189623, version 1

Citation

Jean Goubault-Larrecq, Kok Min Ng. A Few Notes on Formal Balls. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017. ⟨hal-03189623⟩

Share

Metrics

Record views

34