{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:23Z","timestamp":1725662903019},"publisher-location":"Berlin, Heidelberg","reference-count":7,"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_220","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:55:27Z","timestamp":1330167327000},"page":"351-357","source":"Crossref","is-referenced-by-count":0,"title":["On correctness and essentiality of some Ianov schemas equivalence relations"],"prefix":"10.1007","author":[{"given":"R. I.","family":"Podlovchenko","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"43_CR1","first-page":"75","volume":"1","author":"I. I. Ianov","year":"1958","unstructured":"Ianov, I.I., The logical schemas of algorithms. Problems of Cybernetics, 1(1958), 75\u2013125.","journal-title":"Problems of Cybernetics"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Rutledge, J.D., On Ianov's program schemata. J.ACM (1964).","DOI":"10.1145\/321203.321204"},{"key":"43_CR3","first-page":"2","volume":"VII","author":"R. I. Podlovchenko","year":"1972","unstructured":"Podlovchenko, R.I., Petrossian, G.N. and Khachatoorian, V.S., Interpretations of schemas of algorithms and various types of equivalence relations between schemas. Izvestija AN ArmSSR, VII, 2 (1972), (in Russian).","journal-title":"Izvestija AN ArmSSR"},{"key":"43_CR4","unstructured":"Podlovchenko, R.I., Interpretational and formal relations between the schemas over storage. Problems of Cybernetics, 30(1975), Nauka, Moscow."},{"key":"43_CR5","unstructured":"Ershov, A.P., Theory of Program Schemata. Proceedings IFIP Congress 1971 at Ljubljana."},{"key":"43_CR6","unstructured":"Tusov, V.A., Decision problem for flowcharts with commutative operators, II, Kibernetika, 15 (1971), Kiev, (in Russian)."},{"key":"43_CR7","unstructured":"Tusov, V.A., An equivalence of the logical schemas with permutable operators. Kibernetika, 6(1970), Kiev, (in Russian)."}],"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_220.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:46:08Z","timestamp":1619541968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07389-2_220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540073895","9783540375852"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-07389-2_220","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}