{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:28Z","timestamp":1775054368813,"version":"3.50.1"},"reference-count":10,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T00:00:00Z","timestamp":1188604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1134\/s0361768807050052","type":"journal-article","created":{"date-parts":[[2007,9,29]],"date-time":"2007-09-29T02:55:51Z","timestamp":1191034551000},"page":"293-298","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of parallel recursive programs in structural functional models"],"prefix":"10.1134","volume":"33","author":[{"given":"V. B.","family":"Novoseltsev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"issue":"4","key":"5005_CR1","first-page":"34","volume":"2","author":"G.E. Mints","year":"1981","unstructured":"Mints, G.E., Resolutive Calculi for Non-Classical Logics, Trudy 9-go Sovetskogo Kiberneticheskogo SimposiumaSymp. (Proc. 9th Soviet Symp. in Cybernetics), 1981, vol. 2, no. 4, pp. 34\u201336.","journal-title":"Trudy 9-go Sovetskogo Kiberneticheskogo SimposiumaSymp"},{"key":"5005_CR2","unstructured":"Novoseltsev, V.B., and Malakhov, A.V., A Note on the Synthesis of Parallel Algorithms, Vestn. Tomsk Univ. (Mat., Kibernetika, Informatika) (Tomsk), 2004, no. 284, pp. 35\u201339."},{"key":"5005_CR3","volume-title":"Expert Systems","author":"J.L. Alty","year":"1987","unstructured":"Alty, J.L., Expert Systems, Washington: NCC, 1987."},{"key":"5005_CR4","volume-title":"Logiko-lingvisticheskie modeli v sistemakh upravleniya","author":"D.A. Pospelov","year":"1981","unstructured":"Pospelov, D.A., Logiko-lingvisticheskie modeli v sistemakh upravleniya (Logical-Linguistic Models in Control Systems), Moscow: Energoizdat, 1981."},{"key":"5005_CR5","volume-title":"Instrumental\u2019naya sistema programmirovaniya ES EVM (PRIZ)","author":"M.I. Kakhro","year":"1981","unstructured":"Kakhro, M.I., Kal\u2019ya, A.P., and Tyugu, E.Kh., Instrumental\u2019naya sistema programmirovaniya ES EVM (PRIZ) (Instrumental Software Development System PRIZ, Moscow: Finansy i Statistika, 1981."},{"key":"5005_CR6","unstructured":"Novoseltsev, V.B., Synthesis of Recursive Programs in the SPORA System, Preprint of Inst. of Theoretical Astronomy, Acad. Sci. of the USSR, 1985, no. 43."},{"issue":"6","key":"5005_CR7","first-page":"41","volume":"2","author":"G.E. Mints","year":"1982","unstructured":"Mints, G.E. and Tyugu, E.Kh., Completeness of Structural Synthesis Rules, Dokl. Akd. Nauk SSSR, 1982, vol. 2, no. 6, pp. 41\u201360.","journal-title":"Dokl. Akd. Nauk SSSR"},{"key":"5005_CR8","volume-title":"Structured Programming","author":"O.-J. Dahl","year":"1972","unstructured":"Dahl, O.-J., Dijkstra, E.W., and Hoare, A.R., Structured Programming, London: Academic, 1972. Translated under the title Strukturnoe Programmirovanie, Moscow: Mir, 1975."},{"key":"5005_CR9","unstructured":"Ullman, J., Principles of Database Systems, Computer Science, 1980. Translated under the title Osnovy sistem baz dannykh, Moscow: Finansy i Statistika, 1983."},{"issue":"5","key":"5005_CR10","first-page":"84","volume":"5","author":"A.Ya. Dikovsky","year":"1984","unstructured":"Dikovsky, A.Ya., Deterministic Computational Models, Izv. Ross. Akad. Nauk, Tekh. Kibern., 1984, vol. 5, no. 5, pp. 84\u2013105.","journal-title":"Izv. Ross. Akad. Nauk, Tekh. Kibern."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807050052","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807050052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:01:28Z","timestamp":1775008888000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807050052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,9]]}},"alternative-id":["5005"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807050052","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,9]]}}}