Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Anuj Dawar 1 Anca Muscholl 2 Catuscia Palamidessi 3
1 Computer Laboratory [Cambridge]
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-01997414
Contributor : Catuscia Palamidessi <>
Submitted on : Tuesday, January 29, 2019 - 6:27:36 AM
Last modification on : Friday, April 30, 2021 - 9:58:35 AM

Identifiers

  • HAL Id : hal-01997414, version 1

Collections

CNRS | LIX | LABRI | X-LIX | X | INRIA | X-DEP-INFO | UNIV-BORDEAUX | GS-COMPUTER-SCIENCE

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

122

 

Contact                    Legal Notice                    Personal Data