{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:12Z","timestamp":1725662892701},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540073895"},{"type":"electronic","value":"9783540375852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07389-2_189","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:53:55Z","timestamp":1330185235000},"page":"153-159","source":"Crossref","is-referenced-by-count":2,"title":["On some models of computability of boolean functions"],"prefix":"10.1007","author":[{"given":"I. D.","family":"Zaslavskii","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"12_CR1","unstructured":"Von-Neumann J., Theory of self-reproducing Automata, Urbana & London (1966)."},{"issue":"I","key":"12_CR2","first-page":"3","volume":"I","author":"\u0410. \u041d. \u041d. \u041a\u043e\u043b\u043c\u043e\u0433\u043e\u0440\u043e\u0432","year":"1965","unstructured":"\u041a\u043e\u043b\u043c\u043e\u0433\u043e\u0440\u043e\u0432 \u0410.\u041d., \u041e \u0442\u0440\u0435\u0445 \u043f\u043e\u0434\u0445\u043e\u0434\u0430\u0445 \u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0438\u044e \u043f\u043e\u043d\u044f\u0442\u0438\u044f \"\u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438\", \u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438, \u0442\u043e\u043c I, \u0432\u044b\u043f. I, 3\u20137 (1965).","journal-title":"\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438"},{"issue":"I","key":"12_CR3","first-page":"262","volume":"157","author":"\u0410. \u0410. \u0410. \u041c\u0430\u0440\u043a\u043e\u0432","year":"1964","unstructured":"\u041c\u0430\u0440\u043a\u043e\u0432 \u0410.\u0410. qt\u041e\u0431 \u0430\u043b\u0433\u043e\u0440\u0438\u0444\u043c\u0430\u0445, \u0432\u044b\u0447\u0438\u0441\u043b\u044f\u044e\u0449\u0438\u0445 \u0431\u0443\u043b\u0435\u0432\u044b \u0444\u0443\u043d\u043a\u0446\u0438\u0438, \u0414\u043e\u043a\u043b\u0430\u0434\u044b \u0410\u041d \u0421\u0421\u0421\u0420, \u0442\u043e\u043c 157, \u0432\u044b\u043f. I, 262\u2013264 (1964).","journal-title":"\u0414\u043e\u043a\u043b\u0430\u0434\u044b \u0410\u041d \u0421\u0421\u0421\u0420"},{"key":"12_CR4","first-page":"75","volume":"2","author":"\u0421. \u0412. \u0412. \u042f\u0431\u043b\u043e\u043d\u0441\u043a\u0438\u0439","year":"1959","unstructured":"\u042f\u0431\u043b\u043e\u043d\u0441\u043a\u0438\u0439 \u0421.\u0412., \u041e \u0442\u0440\u0443\u0434\u043d\u043e\u0441\u0442\u044f\u0445 \u0441\u0438\u043d\u0442\u0435\u0437\u0430 \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u0445 \u043a\u043e\u043d\u0442\u0430\u043a\u0442\u043d\u044b\u0445 \u0441\u0445\u0435\u043c, \"\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043a\u0438\u0431\u0435\u0440\u043d\u0435\u0442\u0438\u043a\u0438\", \u0432\u044b\u043f. 2, 75\u2013121 (1959).","journal-title":"\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043a\u0438\u0431\u0435\u0440\u043d\u0435\u0442\u0438\u043a\u0438"},{"key":"12_CR5","first-page":"3","volume":"25","author":"\u041e. \u0411. \u0411. \u041b\u0443\u043f\u0430\u043d\u043e\u0432","year":"1974","unstructured":"\u041b\u0443\u043f\u0430\u043d\u043e\u0432 \u041e.\u0411., \u041e \u043c\u0435\u0442\u043e\u0434\u0430\u0445 \u043f\u043e\u043b\u0443\u0447\u0435\u043d\u0438\u044f \u043e\u0446\u0435\u043d\u043e\u043a \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f \u0438\u043d\u0434\u0438\u0432\u0438\u0434\u0443\u0430\u043b\u044c\u043d\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439, \"\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\", \u0432\u044b\u043f. 25, 3\u201318 (1974).","journal-title":"\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437"},{"key":"12_CR6","unstructured":"Meyer A., The Inherent Computational Complexity of Theories of Ordered Sets; A Brief Survey, Massachusetts Institute of Technology, 1\u201310 (1974)."},{"key":"12_CR7","unstructured":"Ehrenfeucht A., Practical decidability, Report CU-CS-008-72, Dept. of Computer Science, Univ. of Colorado (1972)."},{"issue":"3","key":"12_CR8","first-page":"129","volume":"\u0425I\u0423II","author":"\u0418. \u0414. \u0414. \u0417\u0430\u0441\u043b\u0430\u0432\u0441\u043a\u0438\u0439","year":"1968","unstructured":"\u0417\u0430\u0441\u043b\u0430\u0432\u0441\u043a\u0438\u0439 \u0418.\u0414., \u041e \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 \u0431\u0443\u043b\u0435\u0432\u044b\u0445 \u0444\u0443\u043d\u043a\u0446\u0438\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u043e\u0432, \u0414\u043e\u043a\u043b\u0430\u0434\u044b \u0410\u041d \u0410\u0440\u043c\u044f\u043d\u0441\u043a\u043e\u0439 \u0421\u0421\u0420, \u0442\u043e\u043c \u0425I\u0423II, N o 3, 129\u2013133 (1968).","journal-title":"\u0414\u043e\u043a\u043b\u0430\u0434\u044b \u0410\u041d \u0410\u0440\u043c\u044f\u043d\u0441\u043a\u043e\u0439 \u0421\u0421\u0420"},{"key":"12_CR9","unstructured":"\u0417\u0430\u0441\u043b\u0430\u0432\u0441\u043a\u0438\u0439 \u0418.\u0414., \u041e \u043d\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043c\u043e\u0441\u0442\u0438 \u043c\u0430\u0441\u0441\u043e\u0432\u044b\u0445 \u043f\u0440\u043e\u0431\u043b\u0435\u043c \u0432 \u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0445 \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u044b\u0445 \u043e\u0431\u043b\u0430\u0441\u0442\u044f\u0445, II \u0412\u0441\u0435\u0441\u043e\u044e\u0437\u043d.\u043a\u043e\u043d\u0444\u0435\u0440. \u043f\u043e \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0435 (\u0422\u0435\u0437\u0438\u0441\u044b \u043a\u0440\u0430\u0442\u043a\u0438\u0445 \u0441\u043e\u043e\u0431\u0449\u0435\u043d\u0438\u0439), 17, \u041c\u043e\u0441\u043a\u0432\u0430 (1972)."},{"key":"12_CR10","volume-title":"Experiments in induction","author":"E. B. Hunt","year":"1966","unstructured":"Hunt E.B., Marin J., Stone P.J., Experiments in induction, Academic Press, New York & London (1966)."},{"key":"12_CR11","first-page":"51","volume":"2","author":"\u041b. \u0410. \u0410. \u041a\u0430\u043b\u0443\u0436\u043d\u0438\u043d","year":"1959","unstructured":"\u041a\u0430\u043b\u0443\u0436\u043d\u0438\u043d \u041b.\u0410., \u041e\u0431 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0437\u0430\u0446\u0438\u0438 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0437\u0430\u0434\u0430\u0447, \"\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043a\u0438\u0431\u0435\u0440\u043d\u0435\u0442\u0438\u043a\u0438\", \u0432\u044b\u043f. 2, 51\u201367 (1959).","journal-title":"\u041f\u0440\u043e\u0431\u043b\u0435\u043c\u044b \u043a\u0438\u0431\u0435\u0440\u043d\u0435\u0442\u0438\u043a\u0438"},{"key":"12_CR12","first-page":"99","volume":"L XXII","author":"\u0418. \u0414. \u0414. \u0417\u0430\u0441\u043b\u0430\u0432\u0441\u043a\u0438\u0439","year":"1964","unstructured":"\u0417\u0430\u0441\u043b\u0430\u0432\u0441\u043a\u0438\u0439 \u0418.\u0414., \u0413\u0440\u0430\u0444-\u0441\u0445\u0435\u043c\u044b \u0441 \u043f\u0430\u043c\u044f\u0442\u044c\u044e, \u0422\u0440\u0443\u0434\u044b \u043c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0438\u043c.\u0412.\u0410. \u0421\u0442\u0435\u043a\u043b\u043e\u0432\u0430, \u0442\u043e\u043c L XXII, 99\u2013192 (1964).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u043c\u0430\u0442\u0435\u043c.\u0438\u043d\u0441\u0442.\u0438\u043c.\u0412.\u0410. \u0421\u0442\u0435\u043a\u043b\u043e\u0432\u0430"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Shannon C.E., The synthesis of two-terminal switching circuits, Bell Syst. Techn. Journ., 41\u201398 (1949).","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"key":"12_CR14","first-page":"1","volume":"50","author":"L. Kalmar","year":"1943","unstructured":"Kalmar L., Egyszer\u00fc p\u00e9lda eld\u00f6nthetetlen aritmetikai probl\u00e9m\u00e1ra, Mathematikai \u00e9s Fizikai Lapok 50, 1\u201323 (1943).","journal-title":"Mathematikai \u00e9s Fizikai Lapok"},{"key":"12_CR15","first-page":"1","volume":"4","author":"A. Grzegorczyk","year":"1953","unstructured":"Grzegorczyk A., Some classes of recursive functions, Rozpr. mat., Warsaw, 4, 1\u201346 (1953).","journal-title":"Rozpr. mat., Warsaw"},{"key":"12_CR16","unstructured":"Kleene S.C., Introduction to metamathematics, New York \u2014 Toronto (1952)."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/978-1-4684-2001-2_9","volume-title":"Complexity of Computer Computations","author":"R. Karp","year":"1972","unstructured":"Karp R., Reducibility among combinatorial problems, \"Complexity of Computer Computations\", R.E. Miller and J.W. Thatcher, ed., Plenum Press, New York, 85\u2013104 (1972)."},{"key":"12_CR18","first-page":"77","volume":"16","author":"\u0410. \u0410. \u0410. \u041b\u0435\u0432\u0438\u043d","year":"1970","unstructured":"\u041b\u0435\u0432\u0438\u043d \u0410.\u0410., \u041e\u0431 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0438 \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0435\u0439 \u0414.\u041d.\u0424. \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043a \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0414.\u041d.\u0424. \u0435\u0451 \u043e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u044f. \"\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437\", \u0432\u044b\u043f. 16, 77\u201381 (1970).","journal-title":"\u0414\u0438\u0441\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0430\u043d\u0430\u043b\u0438\u0437"},{"key":"12_CR19","first-page":"186","volume":"14","author":"\u042e. \u041f. \u041f. \u041e\u0444\u043c\u0430\u043d","year":"1965","unstructured":"\u041e\u0444\u043c\u0430\u043d \u042e.\u041f., \u0423\u043d\u0438\u0432\u0435\u0440\u0441\u0430\u043b\u044c\u043d\u044b\u0439 \u0430\u0432\u0442\u043e\u043c\u0430\u0442, \u0422\u0440\u0443\u0434\u044b \u041c\u043e\u0441\u043a\u043e\u0432\u0441\u043a\u043e\u0433\u043e \u043c\u0430\u0442\u0435\u043c. \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u0430, \u0442\u043e\u043c 14, 186\u2013199 (1965).","journal-title":"\u0422\u0440\u0443\u0434\u044b \u041c\u043e\u0441\u043a\u043e\u0432\u0441\u043a\u043e\u0433\u043e \u043c\u0430\u0442\u0435\u043c. \u043e\u0431\u0449\u0435\u0441\u0442\u0432\u0430"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1975 4th Symposium, Mari\u00e1nsk\u00e9 L\u00e1zn\u011b, September 1\u20135, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07389-2_189.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:21Z","timestamp":1605643041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_189","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}