10 citations · 57 across the 48 of their papers we have counts for
Showing 2011 · math.LOShow all
2 papers · 2 filters
math.LO2011★ 1 cited
A Hierarchy of Tree-Automatic Structures
Olivier Finkel, Stevo Todorcevic
We consider -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length for some integer $n…
math.LO2011★ 2 cited
Decision Problems for Recognizable Languages of Infinite Pictures
Olivier Finkel
Altenbernd, Thomas and Wöhrle have considered in [ATW02] acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with the usual acce…