Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2015

Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS)

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

Dates and versions

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

Identifiers

  • HAL Id : hal-01995887 , version 1

Cite

Catuscia Palamidessi (Dir.). Proceedings of the IEEE/ACM Symposium on Logic in Computer Science (LICS). Palamidessi, Catuscia. 2015. ⟨hal-01995887⟩
28 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More