Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic.

Dietrich Kuske

Browse the full STACS paper archive.