51 citations · 141 across the 17 of their papers we have counts for
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010★ 1 cited
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…
cs.LO2010★ 4 cited
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…