You are not logged in |
Back to the list of the institutes
Publications
Conference: Automata, Languages, and Programming - 42th International Colloquium
Number of publications: 12015
- Henryk Michalewski , Matteo Mio, Baire Category Quantifier in Monadic Second Order Logic, Automata, Languages, and Programming - 42th International Colloquium, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN
