Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org COMPATIBILITY OF SHELAH AND STUPP’S AND MUCHNIK’S ITERATION WITH FRAGMENTS OF MONADIC SECOND ORDER LOGIC

First Page		Document Content
Date: 2008-02-05 06:50:36		Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org COMPATIBILITY OF SHELAH AND STUPP’S AND MUCHNIK’S ITERATION WITH FRAGMENTS OF MONADIC SECOND ORDER LOGIC Add to Reading List Source URL: drops.dagstuhl.de Download Document from Source Website File Size: 182,58 KB Share Document on Facebook