{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:17:54Z","timestamp":1775053074085,"version":"3.50.1"},"reference-count":8,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T00:00:00Z","timestamp":1177977600000},"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,5]]},"DOI":"10.1134\/s0361768807030012","type":"journal-article","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T01:34:25Z","timestamp":1181007265000},"page":"121-131","source":"Crossref","is-referenced-by-count":1,"title":["Inclusion problem in algebraic models of programs with constants"],"prefix":"10.1134","volume":"33","author":[{"given":"R. I.","family":"Podlovchenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. M.","family":"Rusakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"3001_CR1","unstructured":"Podlovchenko, R.I., Hierarchy of Program Models, Programmirovanie, 1981, no. 2, pp. 3\u201314."},{"key":"3001_CR2","unstructured":"Podlovchenko, R.I., Semigroup Program Models, Programmirovanie, 1981, no. 4, pp. 3\u201313."},{"key":"3001_CR3","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I., Automaton Semigroup Models of Programs, Programmirovanie, 2006, no. 6, pp. 1\u20139 [Programming Comput. Software (Engl. Transl.), 2006, vol. 32, no. 6, pp. 301\u2013307].","DOI":"10.1134\/S0361768806060028"},{"key":"3001_CR4","unstructured":"Letichevsky, A.A., On Equivalence of Automata with a Finite Number of States on Free Monoids with Right Zero, Dokl. Akad. Nauk SSSR, 1968, vol. 182, no. 5."},{"key":"3001_CR5","unstructured":"Lisovik, L.P., Metalinear Schemes with Writing Constants, Programmirovanie, 1985, no. 2, pp. 29\u201338."},{"key":"3001_CR6","first-page":"351","volume-title":"Lecture Notes in Computer Science","author":"R. Podlovchenko","year":"2006","unstructured":"Podlovchenko, R., Rusakov, D., and Zakharov, V., On the Equivalence Problem for Programs with Mode Switching, Lecture Notes in Computer Science, Berlin: Springer, 2006, vol. 3845, pp. 351\u2013352."},{"key":"3001_CR7","first-page":"275","volume-title":"Intellektual\u2019nye sistemy","author":"R.I. Podlovchenko","year":"1997","unstructured":"Podlovchenko, R.I., Abstract Programs with Procedures and Finite Push-Down Automata, in Intellektual\u2019nye sistemy (Intelligent Systems), Moscow: Mosk. Gos. Univ., 1997, vol. 2, nos. 1\u20134, pp. 275\u2013295."},{"key":"3001_CR8","doi-asserted-by":"crossref","unstructured":"Podlovchenko, R.I. and Rusakov, D.M., Program Schemes with Constants, Programmirovanie, 2005, no. 3, pp. 5\u201318 [Programming Comput. Software (Engl. Transl.), 2005, vol. 31, no. 3, pp. 113\u2013122].","DOI":"10.1007\/s11086-005-0024-6"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807030012.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807030012","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807030012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807030012.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:59:11Z","timestamp":1775012351000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807030012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["3001"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807030012","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}