@article{lmcs:3148, title = {Monadic Second Order Logic with Measure and Category Quantifiers}, author = {Matteo Mio and MichaĆ Skrzypczak and Henryk Michalewski}, url = {https://lmcs.episciences.org/3148}, doi = {10.23638/LMCS-14(2:2)2018}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 14, Issue 2}, issuetitle = {Automata and logic}, eid = 2, year = {2018}, month = {Apr}, keywords = {Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, Mathematics - Logic}, }