10.1145/acmotherconferencesACM Other Conferences000000010.5555/0000000Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)MFCS 201610.4230/LIPIcs.MFCS.2016.22Decidable Extensions of MSO (Invited Talk)BojanczykMikolajAuthor190820162:12:1

This is an overview of the invited talk delivered at the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016).