29th EACSL Annual Conference on Computer Science Logic, CSL 2021 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2021

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

Christel Baier
  • Function : Scientific advisor
  • PersonId : 880342
Jean Goubault-Larrecq
Not file

Dates and versions

hal-03216251 , version 1 (03-05-2021)

Identifiers

  • HAL Id : hal-03216251 , version 1

Cite

Christel Baier, Jean Goubault-Larrecq (Dir.). 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. 183, 2021, LIPIcs, 978-3-95977-175-7. ⟨hal-03216251⟩
16 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More