{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T23:40:37Z","timestamp":1772754037586,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540694052","type":"print"},{"value":"9783540694076","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69407-6_34","type":"book-chapter","created":{"date-parts":[[2008,6,10]],"date-time":"2008-06-10T13:39:35Z","timestamp":1213105175000},"page":"306-315","source":"Crossref","is-referenced-by-count":16,"title":["An Enhanced Theory of Infinite Time Register Machines"],"prefix":"10.1007","author":[{"given":"Peter","family":"Koepke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Cutland, N.J.: Computability: An Introduction to Recursive Function Theory. In: Perspectives in Mathematical Logic. Cambridge University Press (1980)","DOI":"10.1017\/CBO9781139171496"},{"key":"34_CR2","unstructured":"Dimitriou, I., Hamkins, J.D., Koepke, P.(eds.): BIWOC \u2013 Bonn International Workshop on Ordinal Computability. Bonn Logic Reports (2007)"},{"issue":"2","key":"34_CR3","doi-asserted-by":"publisher","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"J.D. Hamkins","year":"2000","unstructured":"Hamkins, J.D., Lewis, A.: Infinite Time Turing Machines. J. Symbolic Logic\u00a065(2), 567\u2013604 (2000)","journal-title":"J. Symbolic Logic"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Computation and Logic in the Real World","author":"J.D. Hamkins","year":"2007","unstructured":"Hamkins, J.D., Linetsky, D., Miller, R.: The complexity of quickly ORM-decidable sets. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol.\u00a04497. Springer, Heidelberg (2007)"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-73001-9_37","volume-title":"Computation and Logic in the Real World","author":"J.D. Hamkins","year":"2007","unstructured":"Hamkins, J.D., Miller, R.: Post\u2019s problem for ordinal register machines. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) CiE 2007. LNCS, vol.\u00a04497, pp. 358\u2013367. Springer, Heidelberg (2007)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/11780342_27","volume-title":"Logical Approaches to Computational Barriers","author":"P. Koepke","year":"2006","unstructured":"Koepke, P.: Infinite time register machines. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 257\u2013266. Springer, Heidelberg (2006)"},{"key":"34_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.2178\/bsl\/1122038993","volume":"11","author":"P. Koepke","year":"2005","unstructured":"Koepke, P.: Turing computations on ordinals. B. Symbolic Logic\u00a011, 377\u2013397 (2005)","journal-title":"B. Symbolic Logic"},{"key":"34_CR8","unstructured":"Koepke, P., Siders, R.: Computing the recursive truth predicate on ordinal register machines. In: Beckmann, A., et al. (eds.) Logical approaches to computational barriers. Computer Science Report Series, vol.\u00a07, pp. 160\u2013169 (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic and Theory of Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69407-6_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:38:32Z","timestamp":1620016712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69407-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540694052","9783540694076"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69407-6_34","relation":{},"subject":[]}}