{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:42Z","timestamp":1725662982678},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095262"},{"type":"electronic","value":"9783540350880"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09526-8_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:46:42Z","timestamp":1330170402000},"page":"208-218","source":"Crossref","is-referenced-by-count":9,"title":["Completeness problems in verification of programs and program schemes"],"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,5,26]]},"reference":[{"key":"17_CR1","first-page":"115","volume":"7","author":"H. Andr\u00e9ka","year":"1978","unstructured":"Andr\u00e9ka, H. and N\u00e9meti, I., Completeness of Floyd Logic. Bulletin of Section of Logic 7(1978), 115\u2013121, Wroc\u0142aw.","journal-title":"Bulletin of Section of Logic"},{"key":"17_CR2","unstructured":"Andr\u00e9ka, H. and N\u00e9meti, I., A characterization of Floyd provable programs. Submitted to Proc.Coll.Logic in Programming, Salg\u00f3tarj\u00e1n 1978. Coll.Math.Soc.J.Bolyai, North Holland."},{"key":"17_CR3","unstructured":"Andr\u00e9ka, H. and N\u00e9meti, I., Classical many-sorted model theory to turn negative results on program schemes to positive. Preprint 1978."},{"key":"17_CR4","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., and Sain, I., Abstract model theory, semantics, logics. Preprint 1979."},{"key":"17_CR5","unstructured":"Chang, C.C. and Keisler, H.J., Model Theory. North Holland, 1973."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1080\/00029890.1973.11993265","volume":"80","author":"M. Davis","year":"1973","unstructured":"Davis, M., Hilbert's tenth problem is unsolvable. Amer.Math.Monthly 80(1973), 233\u2013269.","journal-title":"Amer.Math.Monthly"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Devlin, K.J., Aspects of Constructibility. Lecture Notes in Math. 354, Springer Verlag, 1973.","DOI":"10.1007\/BFb0059290"},{"key":"17_CR8","unstructured":"Gergely, T. and Ury, L., Mathematical Programming Theories."},{"key":"17_CR9","unstructured":"Manna, Z., Mathematical Theory of Computation. McGraw Hill, 1974."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Monk, J.D., Mathematical Logic. Springer Verlag, 1976.","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"17_CR11","unstructured":"N\u00e9meti, I. and Sain, I., Connections between Algebraic Logic and Initial Algebra Semantics of CF Languages. Submitted to Proc.Coll. Logic in Programming, cf. [2]."},{"key":"17_CR12","volume-title":"Saturated Model Theory","author":"G. E. Sacks","year":"1972","unstructured":"Sacks, G.E., Saturated Model Theory. W.A.Benjamin, Inc. Publ., Reading, Massachusetts, 1972."},{"key":"17_CR13","unstructured":"Sain, I., On the General Theory of Semantics of Languages. Preprint 1979."},{"issue":"1","key":"17_CR14","first-page":"45","volume":"4","author":"M. Sz\u00f6ts","year":"1978","unstructured":"Sz\u00f6ts, M. and Gergely, T., On the incompleteness of proving partial correctness. Acta Cybernetica Tom 4, Fasc 1, Szeged 1978, pp.45\u201357.","journal-title":"Acta Cybernetica Tom"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1979"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09526-8_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:01:24Z","timestamp":1605625284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09526-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095262","9783540350880"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-09526-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}