{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:59Z","timestamp":1725544079132},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_22","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:15:28Z","timestamp":1143555328000},"page":"322-336","source":"Crossref","is-referenced-by-count":5,"title":["First-Order and Counting Theories of \u03c9-Automatic Structures"],"prefix":"10.1007","author":[{"given":"Dietrich","family":"Kuske","sequence":"first","affiliation":[]},{"given":"Markus","family":"Lohrey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1109\/LICS.2001.932518","volume-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2000)","author":"M. Benedikt","year":"2001","unstructured":"Benedikt, M., Libkin, L., Schwentick, T., Segoufin, L.: A model-theoretic approach to regular string relations. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2000), pp. 431\u2013440. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"4","key":"22_CR2","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.2307\/2275643","volume":"62","author":"A. B\u00e8s","year":"1997","unstructured":"B\u00e8s, A.: Undecidable extensions of B\u00fcchi arithmetic and Cobham-Semenov theorem. Journal of Symbolic Logic\u00a062(4), 1280\u20131296 (1997)","journal-title":"Journal of Symbolic Logic"},{"key":"22_CR3","unstructured":"Blumensath, A.: Automatic structures. Diploma thesis, RWTH Aachen (1999)"},{"issue":"6","key":"22_CR4","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s00224-004-1133-y","volume":"37","author":"A. Blumensath","year":"2004","unstructured":"Blumensath, A., Gr\u00e4del, E.: Finite presentations of infinite structures: Automata and interpretations. Theory of Computing Systems\u00a037(6), 641\u2013674 (2004)","journal-title":"Theory of Computing Systems"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"R. B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, R.: Weak second-order arithmetic and finite automata. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik\u00a06, 66\u201392 (1960)","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word processing in groups, Jones and Bartlett, Boston (1992)","DOI":"10.1201\/9781439865699"},{"key":"22_CR7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/0304-3975(82)90042-1","volume":"19","author":"B.R. Hodgson","year":"1982","unstructured":"Hodgson, B.R.: On direct products of automaton decidable theories. Theoretical Computer Science\u00a019, 331\u2013335 (1982)","journal-title":"Theoretical Computer Science"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/LICS.2002.1029832","volume-title":"Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002)","author":"H. Ishihara","year":"2002","unstructured":"Ishihara, H., Khoussainov, B., Rubin, S.: Some results on automatic structures. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS 2002), pp. 235\u2013244. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"2","key":"22_CR10","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1002\/malq.200410013","volume":"51","author":"H.J. Keisler","year":"2005","unstructured":"Keisler, H.J., Lotfallah, W.B.: A local normal form theorem for infinitary logic with unary quantifiers. Mathematical Logic Quarterly\u00a051(2), 137\u2013144 (2005)","journal-title":"Mathematical Logic Quarterly"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1109\/LICS.2003.1210056","volume-title":"Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (LICS 2003)","author":"B. Khoussainov","year":"2003","unstructured":"Khoussainov, B., Rubin, S., Stephan, F.: Automatic partial orders. In: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (LICS 2003), pp. 168\u2013177. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-24749-4_39","volume-title":"STACS 2004","author":"B. Khoussainov","year":"2004","unstructured":"Khoussainov, B., Rubin, S., Stephan, F.: Definability and regularity in automatic structures. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol.\u00a02996, pp. 440\u2013451. Springer, Heidelberg (2004)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-540-39813-4_24","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"D. Kuske","year":"2003","unstructured":"Kuske, D.: Is Cantor\u2019s theorem automatic. In: Y. Vardi, M., Voronkov, A. (eds.) LPAR 2003. LNCS, vol.\u00a02850, pp. 332\u2013345. Springer, Heidelberg (2003)"},{"key":"22_CR15","unstructured":"Kuske, D., Lohrey, M.: First-order and counting theories of \u03c9-automatic structures. Technical Report 2005-07, Universit\u00e4t Stuttgart (2005), available at: \n                    \n                      ftp:\/\/ftp.informatik.uni-stuttgart.de\/pub\/library\/ncstrl.ustuttgart_fi\/TR-2005-07"},{"key":"22_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-540-39813-4_25","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Lohrey","year":"2003","unstructured":"Lohrey, M.: Automatic structures of bounded degree. In: Y. Vardi, M., Voronkov, A. (eds.) LPAR 2003. LNCS, vol.\u00a02850, pp. 346\u2013360. Springer, Heidelberg (2003)"},{"key":"22_CR17","volume-title":"Pure and Applied Mathematics","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.-E.: Infinite Words. In: Pure and Applied Mathematics, Elsevier, Amsterdam (2004)"},{"key":"22_CR18","first-page":"133","volume-title":"Handbook of Theoretical Computer Science, ch.4","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch.4, pp. 133\u2013191. Elsevier Science Publishers B. V, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T05:39:20Z","timestamp":1552369160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11690634_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}