{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:24Z","timestamp":1725663684692},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540523352"},{"type":"electronic","value":"9783540469636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52335-9_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:30:55Z","timestamp":1330205455000},"page":"286-299","source":"Crossref","is-referenced-by-count":1,"title":["Flow-diagrams with sets"],"prefix":"10.1007","author":[{"given":"Alexey P.","family":"Stolboushkin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"unstructured":"Tiuryn,J., An introduction to first-order dynamic logic. Research report, Washington State University, Pullman, 1984.","key":"18_CR1"},{"key":"18_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First-order dynamic logic","author":"D. Harel","year":"1979","unstructured":"Harel, D., First-order dynamic logic, LNCS 68, Springer-Verlag, Berlin, 1979."},{"doi-asserted-by":"crossref","unstructured":"Urzyczyn,P., Logics of programs with boolean memory, Fundamenta Informaticae, 11, N 1 (1988).","key":"18_CR3","DOI":"10.3233\/FI-1988-11103"},{"unstructured":"Urzyczyn,P., Private communications, 1987.","key":"18_CR4"},{"doi-asserted-by":"crossref","unstructured":"Harel,D., and Peleg,D., On static logic, dynamic logic and complexity classes, Inform. Control, 60, 1984.","key":"18_CR5","DOI":"10.1016\/S0019-9958(84)80023-6"},{"doi-asserted-by":"crossref","unstructured":"Kfoury, A.J.Pebble game and logics of programs. In \"Harvey Friedman's Research on the Foundation of Mathematics\", (L.A.Harrington et al., Eds.), Elsevier Science Publishers B.V. (North-Holland), 1985.","key":"18_CR6","DOI":"10.1016\/S0049-237X(09)70165-X"},{"doi-asserted-by":"crossref","unstructured":"Kfoury,A.J., Stolboushkin,A.P., and Urzyczyn,P.Some open questions in the theory of program schemes and their logics, Uspekhi Matematicheskikh Nauk, 44, 1(265), 1989 (Russian).","key":"18_CR7","DOI":"10.1070\/RM1989v044n01ABEH002007"},{"doi-asserted-by":"crossref","unstructured":"Tiuryn,J., and Urzyczyn,P.Some relationships between logic of programs and complexity theory. In \"IEEE Annu. Symp. Found. Comp. Sci.\", 1983.","key":"18_CR8","DOI":"10.1109\/SFCS.1983.71"},{"key":"18_CR9","volume-title":"Cybernetics and computer machinery","author":"A.P. Stolboushkin","year":"1986","unstructured":"Stolboushkin, A.P., and Taitslin, M.A.Dynamic logics. In \"Cybernetics and computer machinery\" (V.A. Melnikov, Ed.), Nauka Science Publ., Moscow, 1986 (Russian)."}],"container-title":["Lecture Notes in Computer Science","COLOG-88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52335-9_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:08:37Z","timestamp":1640920117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52335-9_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540523352","9783540469636"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-52335-9_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}