{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:54Z","timestamp":1725662874074},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_86","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:36:55Z","timestamp":1330187815000},"page":"385-392","source":"Crossref","is-referenced-by-count":1,"title":["On divergence and halting problems for monadic program schemas"],"prefix":"10.1007","author":[{"given":"V. A.","family":"Nepomniaschy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"M.S.Paterson \"Decision Problems in Computational Models\", Proc. of ACM Symposium on Proving Assertions about Programs, New Mexico, 1972.","DOI":"10.1145\/800235.807074"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"D.C.Luckham, D.M.R.Park, M.S.Paterson \"On Formalised Computer Programs\", Journal of Computer and System Sci., v.4, No.3, 1970.","DOI":"10.1016\/S0022-0000(70)80022-8"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"V.A.Nepomniaschy \"On Divergence Problem for Program Schemas\", Proc. of 5th Symp. on Mathematical Foundations of Computer Sci., Lecture Notes in Computer Sci., v.45, 1976.","DOI":"10.1007\/3-540-07854-1_212"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"V.A.Nepomniaschy \"On Divergence Problem for Program Schemas I\", Programming, No.4, 1976 (in Russian).","DOI":"10.1007\/3-540-07854-1_212"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"A.V.Aho, J.D.Ullman \"The Theory of Languages\", Mathematical Systems Theory, v.2, No.2, 1968.","DOI":"10.1007\/BF01692510"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"W.Ogden \"Intercalation Theorems for Stack Languages\", Proc. of ACM Symp. on Theory of Computing, Marina del Rey, 1969.","DOI":"10.1145\/800169.805419"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:00:27Z","timestamp":1605643227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}