1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008
Automatic structures of bounded degree revisited
Dietrich Kuske, Markus Lohrey
The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We p…
cs.LO2008★ 1 cited
Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic
Dietrich Kuske
We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These…