{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T08:22:40Z","timestamp":1775463760957,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540212362","type":"print"},{"value":"9783540247494","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24749-4_39","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T19:01:54Z","timestamp":1283972514000},"page":"440-451","source":"Crossref","is-referenced-by-count":16,"title":["Definability and Regularity in Automatic Structures"],"prefix":"10.1007","author":[{"given":"Bakhadyr","family":"Khoussainov","sequence":"first","affiliation":[]},{"given":"Sasha","family":"Rubin","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-39_CR1.1","unstructured":"Ash, C.J., Nerode, A.: Intrinsically recursive relations. In: Aspects of effective algebra, Clayton, pp. 26\u201341 (1979);"},{"key":"#cr-split#-39_CR1.2","unstructured":"Upside Down A Book Co. Yarra Glen (1981)"},{"key":"39_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.36045\/bbms\/1103408547","volume":"1","author":"V. Bruy\u00e8re","year":"1994","unstructured":"Bruy\u00e8re, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and p-recognizable sets of integers. Bull. Belg. Math. Soc.\u00a01, 191\u2013238 (1994)","journal-title":"Bull. Belg. Math. Soc."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic Structures. In: Proceedings of 15th Symposium on Logic in Computer Science, LICS 2000 (2000)","DOI":"10.1109\/LICS.2000.855755"},{"key":"39_CR4","volume-title":"A mathematical introduction to logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A mathematical introduction to logic, 1st edn. Academic Press, London (1972)","edition":"1"},{"key":"39_CR5","series-title":"Studies in Logic and the foundations of Mathematics","volume-title":"Handbook of Recursive Mathematics","year":"1998","unstructured":"Ershov, et al. (eds.): Handbook of Recursive Mathematics. Studies in Logic and the foundations of Mathematics, vol.\u00a01. Elsevier, Amsterdam (1998)"},{"key":"39_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-60178-3_93","volume-title":"Logic and Computational Complexity","author":"B. Khoussainov","year":"1995","unstructured":"Khoussainov, B., Nerode, A.: Automatic presentations of structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 367\u2013392. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","STACS 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24749-4_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T11:26:37Z","timestamp":1591874797000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24749-4_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212362","9783540247494"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24749-4_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}