No. Title Author Year
1 Climbing up the Elementary Complexity Classes with Theories of Automatic Structures Abu Zaid, Faried et al. 2018
2 Gaifman Normal Forms for Counting Extensions of First-Order Logic Kuske, Dietrich et al. 2018
3 Infinite and Bi-infinite Words with Decidable Monadic Theories Kuske, Dietrich et al. 2015
4 Isomorphisms of scattered automatic linear orders Kuske, Dietrich 2012
5 Is Ramsey's Theorem omega-automatic? Kuske, Dietrich 2010
6 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
7 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
8 Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic Kuske, Dietrich 2008
9 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: 9


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI