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
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2018

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

Catuscia Palamidessi
  • Fonction : Directeur scientifique
  • PersonId : 845654
Concurrency, Mobility and Transactions

Domaines

Logique en informatique [cs.LO]

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01995888

Soumis le : lundi 28 janvier 2019-04:06:12

Dernière modification le : jeudi 1 août 2024-17:08:02

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01995888 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
54 Consultations
0 Téléchargements

Partager

More