Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2018

Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016

Catuscia Palamidessi
  • Function : Scientific advisor
  • PersonId : 845654
No file

Dates and versions

hal-01995888 , version 1 (28-01-2019)

Identifiers

  • HAL Id : hal-01995888 , version 1

Cite

Catuscia Palamidessi (Dir.). Special issue of Logical Methods in Computer Science dedicated to selected papers of LICS 2015 and LICS 2016. Palamidessi, Catuscia; Silva, Alexandra; Shankar, Natarajan. IEEE, 2018. ⟨hal-01995888⟩
47 View
0 Download

Share

Gmail Facebook X LinkedIn More