N°Spécial De Revue/Special Issue
Logical Methods in Computer Science
Année : 2019
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 : dimanche 17 décembre 2023-18:15:04
Dates et versions
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⟩
Collections
98
Consultations
0
Téléchargements