51 citations · 141 across the 17 of their papers we have counts for
4 papers · 1 filter
Infinite and Bi-infinite Words with Decidable Monadic Theories
Dietrich Kuske, Jiamou Liu, Anastasia Moskvina
We study word structures of the form where is either or , is the natural linear ordering on and is a predicate on .…
Tree-Automatic Well-Founded Trees
Martin Huschenbett, Alexander Kartzow, Jiamou Liu +1
We investigate tree-automatic well-founded trees. Using Delhomme's decomposition technique for tree-automatic structures, we show that the (ordinal) rank of a tree-automatic well-f…
The Isomorphism Problem for omega-Automatic Trees
Dietrich Kuske, Jiamou Liu, Markus Lohrey
The main result of this paper is that the isomorphism for omega-automatic trees of finite height is at least has hard as second-order arithmetic and therefore not analytical. This…
The Isomorphism Problem On Classes of Automatic Structures
Dietrich Kuske, Jiamou Liu, Markus Lohrey
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for autom…