{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:50:10Z","timestamp":1775019010437,"version":"3.50.1"},"reference-count":11,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1134\/s0361768810030011","type":"journal-article","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T08:15:43Z","timestamp":1274861743000},"page":"125-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation"],"prefix":"10.1134","volume":"36","author":[{"given":"R. I.","family":"Podlovchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"6065_CR1","unstructured":"Podlovchenko, R.I., Hierarchy of Program Models, Programmirovanie, 1981, no. 2, pp. 3\u201314."},{"key":"6065_CR2","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I., On a General Solution to the Problem of Equivalent Transformations of Program Schemes: I, Programmirovanie, 2000, no. 1, pp. 64\u201377 [Programming Comput. Software (Engl. Transl.), 2000, vol. 26, no. 1, pp. 44\u201357].","DOI":"10.1007\/BF02759181"},{"key":"6065_CR3","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I., On a General Solution to the Problem of Equivalent Transformations of Program Schemes: II, Programmirovanie, 2000, no. 2, pp. 3\u201311 [Programming Comput. Software (Engl. Transl.), 2000, vol. 26, no. 2, pp. 53\u201360].","DOI":"10.1007\/BF02759191"},{"key":"6065_CR4","first-page":"46","volume":"1","author":"A.A. Lyapunov","year":"1958","unstructured":"Lyapunov, A.A., On Logical Program Schemes, Problemy kibernetiki, 1958, vol. 1, pp. 46\u201374.","journal-title":"Problemy kibernetiki"},{"key":"6065_CR5","first-page":"75","volume":"1","author":"Yu.I. Yanov","year":"1958","unstructured":"Yanov, Yu.I., On Logical Schemes of Algorithms, Problemy kibernetiki, 1958, vol. 1, pp. 75\u2013127.","journal-title":"Problemy kibernetiki"},{"key":"6065_CR6","first-page":"5","volume-title":"Izbrannye voprosy algebry i logiki","author":"V.M. Glushkov","year":"1973","unstructured":"Glushkov, V.M. and Letichevskii, A.A., Theory of Discrete Transformations, in Izbrannye voprosy algebry i logiki (Selected Issues of Algebra and Logics), Novosibirsk: Nauka, 1973, pp. 5\u201339."},{"key":"6065_CR7","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I., Equivalent Transformations of Program Schemes for \u201cEntangling\u201d Programs, Programmirovanie, 2002, no. 2, pp. 66\u201380 [Programming Comput. Software (Engl. Transl.), 2002, vol. 28, no. 2, pp. 106\u2013110].","DOI":"10.1023\/A:1014885019688"},{"key":"6065_CR8","unstructured":"Podlovchenko, R.I., Semigroup Program Models, Programmirovanie, 1981, no. 4, pp. 3\u201313."},{"key":"6065_CR9","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I., Trace Technique in Solving Equivalence Problem in Algebraic Models of Programs, Kibernetika i sistemnyi analiz, 2009, no. 5, pp. 25\u201337.","DOI":"10.1007\/s10559-009-9139-8"},{"key":"6065_CR10","first-page":"309","volume-title":"Diskretnaya matematika, entsiklopediya","author":"R.I. Podlovchenko","year":"2004","unstructured":"Podlovchenko, R.I., Equivalent Transformations of Algorithms and Programs, in Diskretnaya matematika, entsiklopediya (Discrete Mathematics: Encyclopedia), Moscow, Bol\u2019shaya Rossiiskaya entsiklopediya, 2004, pp. 309\u2013310."},{"key":"6065_CR11","unstructured":"Podlovchenko, R.I., On Polynomial Solvability of the Equivalence Problem in Algebraic Models of Programs, Kibernetika i sistemnyi analiz, 2010 (in press)."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810030011","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030011.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:57:45Z","timestamp":1775012265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810030011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["6065"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810030011","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"13 November 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}