Skip to Main content Skip to Navigation
Directions of work or proceedings

29th EACSL Annual Conference on Computer Science Logic, CSL 2021

Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-03216251
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, May 3, 2021 - 8:26:51 PM
Last modification on : Wednesday, May 5, 2021 - 3:39:19 AM

Identifiers

  • HAL Id : hal-03216251, version 1

Citation

Christel Baier, Jean Goubault-Larrecq. 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Ljubljana, Slovenia. 183, 2021, LIPIcs, 978-3-95977-175-7. ⟨hal-03216251⟩

Share

Metrics

Record views

12