{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:16Z","timestamp":1725663256365},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540126898"},{"type":"electronic","value":"9783540386827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12689-9_90","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:52:26Z","timestamp":1330192346000},"page":"14-25","source":"Crossref","is-referenced-by-count":1,"title":["Deterministic dynamic logic of recursive programs is weaker than dynamic logic"],"prefix":"10.1007","author":[{"given":"Piotr","family":"Berman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Adian S.I. Burnside's Problem and Identities in Groups, Springer Ergebnise der mathematik und ihre Grenzgebiete 95 (1979)","DOI":"10.1007\/978-3-642-66932-3"},{"key":"2_CR2","unstructured":"Berman P. Expressive Power in Dynamic Logic and Maze Threading, technical report of Dep. of Comp. Sc., Penn. St. Univ., 1983"},{"key":"2_CR3","unstructured":"Berman P., Halpern J.Y., Tiuryn J. DDL is Weaker Than DL, Proc. of ICALP 1982, Lect. Not. in Comp. Sc., Vol. 140"},{"key":"2_CR4","unstructured":"DDL is weaker than DL, Rept. of Karaganda University, 1981 (in Russian)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"S.A. Cook, C.W. Rackoff, Space Lower Bounds for Maze Threadability on Restricted Machines, SIAM J. Comput., Vol. 9, August 1980","DOI":"10.1137\/0209048"},{"key":"2_CR6","unstructured":"Harel D. First-Order dynamic Logic, Lect. Not. in Comp. Sc., Vol. 68"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"D. Harel, A.R. Meyer and V.R. Pratt Computability and Completeness in Logics of Programs, Proc. of the Ninth STOC, May 1977","DOI":"10.1145\/800105.803416"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"D. Harel, A. Pnuelli, J. Stavi, A Complete Axiomatic System for Proving Deductions about Recursive Program, Proc. of The Ninth STOC, May 1977","DOI":"10.1145\/800105.803415"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Pratt, V.R. Semantical consideration on Floyd-Hoare Logic, Proc. of 17th Symp. on Found. of Comp. Sc. Houston, Texas, 1976","DOI":"10.1109\/SFCS.1976.27"}],"container-title":["Lecture Notes in Computer Science","Foundations of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12689-9_90.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:02Z","timestamp":1605643562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12689-9_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540126898","9783540386827"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-12689-9_90","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}