Order-Invariant MSO is Stronger than Counting MSO in the Finite

Ganzow, Tobias; Rubin, Sasha

Dagstuhl : Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) (2008)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science : Bordeaux, France, February 21-23, 2008 / Susanne Albers, Pascal Weil (Eds.)
Seite(n)/Artikel-Nr.: 313-324