On the Expressive Power of Monadic Least Fixed Point Logic

Nicole Schweikardt. On the Expressive Power of Monadic Least Fixed Point Logic. In Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, editors, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Volume 3142 of Lecture Notes in Computer Science, pages 1123-1135, Springer, 2004. [doi]

Abstract

Abstract is missing.