{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:46Z","timestamp":1725662926682},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_82","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:32:18Z","timestamp":1330191138000},"page":"162-171","source":"Crossref","is-referenced-by-count":7,"title":["A characterization of Floyd-provable programs"],"prefix":"10.1007","author":[{"given":"H.","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Sain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"13_CR1","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I., On the completeness problem of systems for program verification. (In Hungarian) Math.Inst.Hung.Acad.Sci. \u2014 SZKI Budapest, 1977."},{"issue":"3","key":"13_CR2","first-page":"115","volume":"7","author":"H. Andr\u00e9ka","year":"1978","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I., Completeness of Floyd Logic. Bull.Section of Logic (Wroclaw) Vol.7, No.3, 1978, pp.115\u2013120.","journal-title":"Bull.Section of Logic"},{"key":"13_CR3","first-page":"18","volume-title":"Fundamentals of Computation Theory FCT'79","author":"H. Andr\u00e9ka","year":"1979","unstructured":"Andr\u00e9ka, H. N\u00e9meti, I. Sain, I., Henkin-type semantics for program schemes to turn negative results to positive. Fundamentals of Computation Theory FCT'79 Berlin. Ed.: L. Budach. Akademie Verlag 1979, pp. 18\u201324."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka,H. N\u00e9meti,I. Sain,I., Completeness problems in verification of programs and program schemes. Mathematical Foundations of Computer Science MFCS'79 Olomouc. Lecture Notes in Computer Science 74, Springer Verlag 1979, pp.208\u2013218.","DOI":"10.1007\/3-540-09526-8_17"},{"key":"13_CR5","unstructured":"Bell,J.L. Slomson,A.B., Models and Ultraproducts. North Holland, 1969."},{"key":"13_CR6","unstructured":"Chang,C.C. Keisler,H.J., Model Theory. North Holland, 1973."},{"issue":"3","key":"13_CR7","first-page":"148","volume":"8","author":"L. Csirmaz","year":"1979","unstructured":"Csirmaz, L., On definability in Peano Arithmetic. Bull.Section of Logic (Wroclaw) Vol.8, No.3, 1979, pp.148\u2013153.","journal-title":"Bull.Section of Logic"},{"key":"13_CR8","unstructured":"Csirmaz,L., A survey of semantics of Floyd-Hoare derivability. Comput. Linguist. Comput. Lang. CL&CL (Budapest) Vol.14, 1981."},{"key":"13_CR9","unstructured":"N\u00e9meti,I., A complete first order dynamic logic. Preprint, Math.Inst.Hung.Acad.Sci. 1980, pp.1\u2013120."},{"issue":"2\/3","key":"13_CR10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF00370324","volume":"39","author":"V.R. Pratt","year":"1980","unstructured":"Pratt, V.R., Application of modal logic to programming. Studia Logica Vol.39, No.2\/3, 1980, pp.257\u2013274.","journal-title":"Studia Logica"},{"key":"13_CR11","first-page":"251","volume":"13","author":"I. Sain","year":"1979","unstructured":"Sain, I., There are general rules for specifying semantics: Observations on abstract model theory. Comput. Linguist. Comput. Lang. CL&CL (Budapest) Vol.13, 1979, pp.251\u2013282.","journal-title":"Comput. Linguist. Comput. Lang."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_82.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:04:05Z","timestamp":1605643445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}