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)

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

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⟩

Share

Metrics

Record views

122