Definability and Regularity in Automatic Structures. Khoussainov, B.; Rubin, S.; and Stephan, F. In STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings, pages 440--451, 2004. bibtex @inproceedings{DBLP:conf/stacs/KhoussainovRS04,
author = {Bakhadyr Khoussainov and
Sasha Rubin and
Frank Stephan},
title = {Definability and Regularity in Automatic Structures},
booktitle = {{STACS} 2004, 21st Annual Symposium on Theoretical Aspects of Computer
Science, Montpellier, France, March 25-27, 2004, Proceedings},
pages = {440--451},
year = {2004},
optcrossref = {DBLP:conf/stacs/2004},
opturl = {http://dx.optdoi.org/10.1007/978-3-540-24749-4_39},
optdoi = {10.1007/978-3-540-24749-4_39},
timestamp = {Wed, 06 Jul 2011 21:22:22 +0200},
bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/stacs/KhoussainovRS04},
bibsource = {dblp computer science bibliography, http://dblp.org},
}