{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:34Z","timestamp":1725663214628},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540119814"},{"type":"electronic","value":"9783540394457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-11981-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:49:17Z","timestamp":1330192157000},"page":"148-155","source":"Crossref","is-referenced-by-count":0,"title":["Some model-theoretical properties of logic for programs with random control"],"prefix":"10.1007","author":[{"given":"Extended","family":"Abstract","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"4","key":"10_CR1","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1137\/0206049","volume":"6","author":"Gill","year":"1977","unstructured":"Gill, Computational complexity of probabilistic Turing Machines, SIAM Journ. on Comp., vol.6, No 4, 1977 pp.675\u2013695","journal-title":"SIAM Journ. on Comp."},{"doi-asserted-by":"crossref","unstructured":"Grabowski M., Kreczmar A., Dynamic theories of real and complex numbers, Proc. of MFCS 1978 Zakopane, Lect. Notes in Comp. Sc. vol.64, Spr. Ver.","key":"10_CR2","DOI":"10.1007\/3-540-08921-7_71"},{"doi-asserted-by":"crossref","unstructured":"Havel D., First order dynamic logic, Lect. Notes in Comp. Sc. vol.68, 1979, Spr. Ver.","key":"10_CR3","DOI":"10.1007\/3-540-09237-4"},{"key":"10_CR4","first-page":"45","volume":"3","author":"G. Mirkowska","year":"1979","unstructured":"Mirkowska G., Algorithmic logic with nondeterministic programs, Fund. Inf. 3 1979 pp.45\u201364","journal-title":"Fund. Inf."},{"unstructured":"Rabin M., Probabilistic algorithms, Proc. of Symp. Algorithms and complexity, Carnegie-Mellon UNIV., April 7\u20139, 1976, edited by J. Traub","key":"10_CR5"},{"doi-asserted-by":"crossref","unstructured":"Reif J.H., Logics for probabilistic programming, Proc. of STOC conf., 1980, pp.","key":"10_CR6","DOI":"10.1145\/800141.804647"},{"doi-asserted-by":"crossref","unstructured":"Salwicki A., On algorithmic theory of stacks, Proc. of MFCS 1978, Zakopane, Lect. Notes in Comp. Sc. vol.64, Spr. Ver.","key":"10_CR7","DOI":"10.1007\/3-540-08921-7_93"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs and Their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11981-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:29Z","timestamp":1605643529000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11981-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540119814","9783540394457"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-11981-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}