No. Title Author Year
1 Isomorphisms of scattered automatic linear orders Kuske, Dietrich 2012
2 Is Ramsey's Theorem omega-automatic? Kuske, Dietrich 2010
3 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
4 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
5 Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic Kuske, Dietrich 2008
6 Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic Kuske, Dietrich 2008
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI