You are not logged in | Log in

PL /
EN

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

Number of publications: 1

2015

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

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper