{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:48Z","timestamp":1725662988761},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095262"},{"type":"electronic","value":"9783540350880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09526-8_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:47:15Z","timestamp":1330188435000},"page":"308-316","source":"Crossref","is-referenced-by-count":3,"title":["Small universal Minsky machines"],"prefix":"10.1007","author":[{"given":"\u013dudmila","family":"Gregu\u0161ov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Korec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Gregu\u0161ov\u00e1, \u013d., The Construction of \"Small\" Universal Minsky Machine. Journal of Electrotechnical Faculty of STU, ALFA Bratislava, 1979, (in print, in Slovak).","DOI":"10.1007\/3-540-09526-8_28"},{"key":"28_CR2","unstructured":"Gregu\u0161ov\u00e1, \u013d., Doctoral Thesis, Faculty of Sciences of Comenius University, Bratislava, 1978, (in Slovak)."},{"key":"28_CR3","unstructured":"Korec, I., A Complexity Valuation of the Partial Recursive Functions Following the Expectation of the Time... Acta F. R. N. Univ. Comen. \u2014 Mathematica XXIII, 1969, 53\u2013112."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Korec, I., Decidability (Undecidability) of Equivalence of Minsky Machines with Components Consisting of at most seven (eight) Instructions. Proceedings of MFCS 1977, Lecture Notes in Computer Science 53, 324\u2013332.","DOI":"10.1007\/3-540-08353-7_152"},{"key":"28_CR5","unstructured":"Malcev, A. I., Algorithms and Recursive Functions. Izd. NAUKA, Moscow, 1965 (in Russian)."},{"key":"28_CR6","volume-title":"Computation, Finite and Infinite Machines","author":"M. L. Minsky","year":"1967","unstructured":"Minsky, M. L., Computation, Finite and Infinite Machines, Prentice Hall, New Jersey, 1967."},{"key":"28_CR7","unstructured":"Sierpi\u0144ski, W., Theory of Numbers. Warszawa \u2014 Wroclaw, 1950, (in Polish)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1979"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09526-8_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:25Z","timestamp":1605643285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09526-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095262","9783540350880"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-09526-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}