Nie jesteś zalogowany | Zaloguj się

PL /
EN

Conference: Automata, Languages, and Programming - 42th International Colloquium

Liczba publikacji: 1

2015

Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN