Dietrich Kuske. Compatibility of Shelah and Stupp s and Muchnik s iteration with fragments of monadic second order logic. In Susanne Albers, Pascal Weil, editors, STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. Volume 08001 of Dagstuhl Seminar Proceedings, pages 467-478, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
@inproceedings{Kuske08, title = {Compatibility of Shelah and Stupp s and Muchnik s iteration with fragments of monadic second order logic}, author = {Dietrich Kuske}, year = {2008}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1366}, tags = {logic}, researchr = {https://researchr.org/publication/Kuske08}, cites = {0}, citedby = {0}, pages = {467-478}, booktitle = {STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings}, editor = {Susanne Albers and Pascal Weil}, volume = {08001}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }