Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017) - Inria - Institut national de recherche en sciences et technologies du numérique
N°Spécial De Revue/Special Issue Logical Methods in Computer Science Année : 2019

Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)

Anuj Dawar
  • Fonction : Auteur
  • PersonId : 999373
Computer Laboratory [Cambridge]
Anca Muscholl
Laboratoire Bordelais de Recherche en Informatique
Catuscia Palamidessi
  • Fonction : Auteur
  • 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-01997414

Soumis le : mardi 29 janvier 2019-06:27:36

Dernière modification le : mercredi 21 août 2024-03:05:08

Fichier non déposé

Dates et versions

hal-01997414 , version 1 (29-01-2019)

Identifiants

  • HAL Id : hal-01997414 , version 1

Citer

Anuj Dawar, Anca Muscholl, Catuscia Palamidessi. Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017). Logical Methods in Computer Science, 2019. ⟨hal-01997414⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More