On Isomorphism Invariants of Some Automatic Structures

Hajime Ishihara, Bakhadyr Khoussainov, and Sasha Rubin

To appear at Symposium on Logic in Computer Science (LICS'2002), Copenhagen, Denmark, July 22nd - 25th, 2002


In this paper we study structures defined by finite automata, called automatic structures. We provide a method that reduces the study of automatic structures to the study of automatic graphs. We investigate isomorphism invariants of automatic structures with an emphasis to equivalence relation structures, linearly ordered sets, and permutation structures.

Server START Conference Manager
Update Time 15 Mar 2002 at 15:30:30
Maintainer lics02@dcs.ed.ac.uk.
Start Conference Manager
Conference Systems