{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:46:43Z","timestamp":1742914003508,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031177149"},{"type":"electronic","value":"9783031177156"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17715-6_14","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"195-211","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Alternating Automatic Register Machines"],"prefix":"10.1007","author":[{"given":"Ziyuan","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Jain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeyong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ammar Fathin","family":"Sabili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Stephan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"unstructured":"Blumensath, A.: Automatic structures. Diploma thesis, RWTH Aachen University (1999)","key":"14_CR1"},{"doi-asserted-by":"crossref","unstructured":"Blumensath, A., Gr\u00e4del, E.: Automatic structures. In: Proceedings of IEEE Symposium on Logic in Computer Science (LICS), pp. 51\u201362 (2000)","key":"14_CR2","DOI":"10.1109\/LICS.2000.855755"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.tcs.2006.07.059","volume":"369","author":"H Bordihn","year":"2006","unstructured":"Bordihn, H., Fernau, H., Holzer, M., Manca, V., Mart\u00edn-Vide, C.: Iterated sequential transducers as language generating devices. Theor. Comput. Sci. 369, 67\u201381 (2006)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Case, J., Jain, S., Seah, S., Stephan, F.: Automatic functions, linear time and learning. Log. Methods Comput. Sci. 9(3), (2013)","key":"14_CR4","DOI":"10.2168\/LMCS-9(3:19)2013"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A Chandra","year":"1981","unstructured":"Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. J. Assoc. Comput. Mach. 28(1), 114\u2013133 (1981)","journal-title":"J. Assoc. Comput. Mach."},{"doi-asserted-by":"crossref","unstructured":"Chandra, A., Stockmeyer, L.: Alternation. In: 17th Annual Symposium on Foundations of Computer Science (FOCS 1976), pp. 98\u2013108 (1976)","key":"14_CR6","DOI":"10.1109\/SFCS.1976.4"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1137\/0219022","volume":"19","author":"R Floyd","year":"1990","unstructured":"Floyd, R., Knuth, D.: Addition machines. SIAM J. Comput. 19, 329\u2013340 (1990)","journal-title":"SIAM J. Comput."},{"unstructured":"F\u00fcrer, M.: Alternation and the Ackermann case of the decision problem. L\u2019Enseignement Math\u00e9matique II(XXVII), 137\u2013162 (1981)","key":"14_CR8"},{"unstructured":"Gao, Z., Jain, S., Li, Z., Sabili, A.F., Stephan, F.: Alternating automatic register machines. arXiv:2111.04254v5 [cs.CC] (2022). https:\/\/arxiv.org\/pdf\/2111.04254v5.pdf","key":"14_CR9"},{"unstructured":"Hodgson, B.R.: Th\u00e9ories d\u00e9cidables par automate fini. Ph.D. thesis, Universit\u00e9 de Montr\u00e9al (1976)","key":"14_CR10"},{"key":"14_CR11","first-page":"39","volume":"7","author":"B Hodgson","year":"1983","unstructured":"Hodgson, B.: D\u00e9cidabilit\u00e9 par automate fini. Annales des sciences math\u00e9matiques du Qu\u00e9bec 7, 39\u201357 (1983)","journal-title":"Annales des sciences math\u00e9matiques du Qu\u00e9bec"},{"key":"14_CR12","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J Hopcroft","year":"1979","unstructured":"Hopcroft, J., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Maaschusetts (1979)"},{"doi-asserted-by":"crossref","unstructured":"Khoussainov, B., Minnes, M.: Three lectures on automatic structures. In: Proceedings of Logic Colloquium 2007. Lecture Notes in Logic, vol. 35, pp. 132\u2013176 (2010)","key":"14_CR13","DOI":"10.1017\/CBO9780511778421.008"},{"key":"14_CR14","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. 960, pp. 367\u2013392. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60178-3_93"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-51466-2_8","volume-title":"Beyond the Horizon of Computability","author":"M Kutrib","year":"2020","unstructured":"Kutrib, M., Malcher, A., Mereghetti, C., Palano, B.: Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power. In: Anselmo, M., Della Vedova, G., Manea, F., Pauly, A. (eds.) CiE 2020. LNCS, vol. 12098, pp. 87\u201399. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51466-2_8"},{"unstructured":"Li, Z.: Complexity of linear languages and its closures and exploring automatic functions as models of computation. Undergraduate Research Opportunities Programme (UROP) Project Report, National University of Singapore, 2018\/2019","key":"14_CR16"},{"doi-asserted-by":"crossref","unstructured":"Lin, A.W., R\u00fcmmer, P.: Regular model checking revisited. Technical report (2020)","key":"14_CR17","DOI":"10.1007\/978-3-030-91384-7_6"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/321160.321170","volume":"10","author":"JC Shepherdson","year":"1963","unstructured":"Shepherdson, J.C., Sturgis, H.E.: Computability of recursive functions. J. Assoc. Comput. Mach. 10, 217\u2013255 (1963)","journal-title":"J. Assoc. Comput. Mach."},{"key":"14_CR19","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2013","unstructured":"Sipser, M.: Introduction to the Theory of Computation, 3rd edn. Cengage Learning, Boston (2013)","edition":"3"},{"doi-asserted-by":"crossref","unstructured":"Stephan, F.: Automatic structures - recent results and open questions. In: Third International Conference on Science and Engineering in Mathematics, Chemistry and Physics, vol. 622\/1 (Paper 012013). J. Phys. Conf. Ser. (2015)","key":"14_CR20","DOI":"10.1088\/1742-6596\/622\/1\/012013"},{"unstructured":"Stephan, F.: Methods and Theory of Automata and Languages. National University of Singapore, School of Computing (2016)","key":"14_CR21"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,5]],"date-time":"2024-10-05T02:59:28Z","timestamp":1728097168000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}