192
click to vote
LICS
2000
IEEE
16 years 23 hour ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...