Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017)
Dawar, Anuj ; Muscholl, Anca ; Palamidessi, Catuscia
Logical Methods in Computer Science, 2019
Logical Methods in Computer Science Association
Texto completo disponível