{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:01Z","timestamp":1725663241457},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:00:32Z","timestamp":1330203632000},"page":"197-208","source":"Crossref","is-referenced-by-count":0,"title":["A logic for nondeterministic functional programs extended abstract"],"prefix":"10.1007","author":[{"given":"Ana","family":"Gil-Luezas","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/0304-3975(82)90004-4","volume":"17","author":"H. Andr\u00e9ka","year":"1988","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I. and Sain, I., A Complete Logic for Reasoning about Programs via Nonstandard Model Theory, Parts I,II, T.C.S. 17 (1988), 193\u2013212, 259\u2013278.","journal-title":"T.C.S."},{"key":"19_CR2","unstructured":"Cartwright, R. and McCarthy, J., Representation of Recursive Programs in First Order Logic, Stanford Art. Int. Memo AIM-324 (1979)."},{"key":"19_CR3","first-page":"86","volume":"164","author":"R. Cartwright","year":"1984","unstructured":"Cartwright, R., Non-standard Fixed Points in First Order Logic, L.N.C.S. 164 (1984), 86\u2013100.","journal-title":"L.N.C.S."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1137\/0213026","volume":"13","author":"R. Cartwright","year":"1984","unstructured":"Cartwright, R., Recursive Programs as Definitions in First Order Logic. SIAM J. Comput, 13 (1984), 374\u2013408.","journal-title":"SIAM J. Comput"},{"key":"19_CR5","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S. A. Cook","year":"1978","unstructured":"Cook, S.A., Soundness and Completeness of an Axiom System for Program Verification, SIAM J.Comput. 7 (1978), 70\u201390.","journal-title":"SIAM J.Comput."},{"key":"19_CR6","unstructured":"Ebbinghaus, H.D., Flum, J. and Thomas, W., Mathematical Logic, Springer-Verlag (1984).84)."},{"key":"19_CR7","unstructured":"Einsenbach,S. (ed). Functional Programming: Languages, Tools and Architectures, Ellis Horwood (1987)."},{"key":"19_CR8","unstructured":"Goerdt, A., Ein Hoare Kalk\u00fcl f\u00fcr getypte \u03bb-terme. Korrektheit, Vollst\u00e4ndigkeit, Anwendungen, Dissertation, RWTH Aachen (1985)."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Gordon, M.J., Milner, A.J. and Wadsworth, C.P., Edinburgh LCF, L.N.C.S. 78 Springer Verlag (1979).","DOI":"10.1007\/3-540-09724-4"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Harel, D., First Order Dynamic Logic, L.N.C.S. 68 (1979) Springer Verlag.","DOI":"10.1007\/3-540-09237-4"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Harel, D., Dynamic Logic, D.Gabbay and F. Guenthner (ed.) Handbook of Philosophical Logic 2, Reidel P.C. (1984), 479\u2013604.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"19_CR12","unstructured":"Keisler, H.J., Model Theory for Infinitary Logic, North-Holland (1971)."},{"key":"19_CR13","unstructured":"Kleene, S.C., Mathematical Logic, John Wiley and Sons (1967)."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D., Results on the propositional \u03bc-calculus, T.C.S. 27 (1983), 333\u2013354.","journal-title":"T.C.S."},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/S0019-9958(83)80053-9","volume":"56","author":"A. R. Meyer","year":"1983","unstructured":"Meyer, A.R. and Mitchell, J.C., Termination Assertions for Recursive Programs: Completeness and Axiomatic Definiability, Inf. and Control 56 (1983), 112\u2013138.","journal-title":"Inf. and Control"},{"key":"19_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0747-7171(86)80013-X","volume":"2","author":"A. Pasztor","year":"1986","unstructured":"Pasztor, A., Nonstandard Algorithmic and Dynamic Logic, J. Symbolic Comput. 2 (1986), 59\u201381.","journal-title":"J. Symbolic Comput."},{"key":"19_CR17","unstructured":"Pasztor, A., Recursive Programs and Denotational Semantics in Absolute Logics of Programs, Tech. Rep. FIU-SCS-87-1, Florida Int. Univ. (1987)."},{"key":"19_CR18","unstructured":"Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967)."},{"key":"19_CR19","unstructured":"Smullyan, R.M., First-order Logic, Springer-Verlag (1986)."},{"key":"19_CR20","unstructured":"Stoy, J., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press (1977)."},{"key":"19_CR21","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A., A Lattice Theoretical Fixpoint Theorem and its Applications, Pacific J. of Math. 5 (1955), 285\u2013309.","journal-title":"Pacific J. of Math."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:34Z","timestamp":1605648094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}