Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017) - Archive ouverte HAL Access content directly
Special Issue Logical Methods in Computer Science Year : 2019

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

(1) , (2) , (3)
1
2
3
Anuj Dawar
  • Function : Author
  • PersonId : 999373
Computer Laboratory [Cambridge]
Anca Muscholl
Laboratoire Bordelais de Recherche en Informatique
Catuscia Palamidessi
  • Function : Author
  • PersonId : 845654
Concurrency, Mobility and Transactions

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Catuscia Palamidessi  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01997414

Submitted on : Tuesday, January 29, 2019-6:27:36 AM

Last modification on : Thursday, December 22, 2022-10:15:57 AM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01997414 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
93 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More