{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:34Z","timestamp":1778198794898,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540544876","type":"print"},{"value":"9783540384014","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54487-9_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:55:03Z","timestamp":1330192503000},"page":"67-79","source":"Crossref","is-referenced-by-count":8,"title":["A formal operational semantics for languages of type Prolog III"],"prefix":"10.1007","author":[{"given":"E.","family":"B\u00f6rger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"4_CR1","unstructured":"Blakley,R. 1990: Ph.D. Thesis. University of Michigan at Ann Arbor (in preparation)"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/3-540-52753-2_31","volume":"440","author":"E. B\u00f6rger","year":"1990","unstructured":"B\u00f6rger, E. 1990: A Logical Operational Semantics of Full PROLOG, Part I. Selection Core and Control, CSL'89.3rd workshop on Computer Science Logic (Eds. E.Boerger, H.Kleine Buening, M. Richter), Springer Lecture Notes in Computer Science, 1989, Vol. 440, pp. 36\u201364","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990a: A Logical Operational Semantics of Full PROLOG,Part II. Built-in Predicates for Database Manipulations, Proc. of MFCS 1990, Springer Lecture Notes in Computer Science, Vol. 452, pp. 1\u201314","DOI":"10.1007\/BFb0029592"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E. 1990b:A Logical Operational Semantics of Full PROLOG,Part III. Built-in Predicates for Files, Terms, Arithmetic and Input-Output Proc. of the workshop on \"Logic from Computer Science\", Berkely 1989, (Ed. Y. Moschovakis) to appear in MSRI Series, Springer Verlag 1991","DOI":"10.1007\/978-1-4612-2822-6_2"},{"key":"4_CR5","unstructured":"Colmerauer, A. 1984: Equations and Inequations on Finite and Infinite Trees. Proc. Int. Conf. on Fifth Generation Computer Systems, Tokyo 1984, p. 85"},{"issue":"7","key":"4_CR6","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer A. 1990: An Introduction to Prolog III. Comm. of the ACM, 33(7), July 1990, pp. 69\u201390.","journal-title":"Comm. of the ACM"},{"key":"4_CR7","unstructured":"Gurevich, Y. 1988: Logic and the Challenge of Computer Science, in: Trends in Theoretical Computer Science (E. B\u00f6rger, ed.), Computer Science Press, 1988, pp. 1\u201357"},{"key":"4_CR8","unstructured":"Gurevich, Y. 1991:Evolving Algebras. A Tutorial Introduction, in., EATCS BULL. FEB. 1991."},{"key":"4_CR9","first-page":"81","volume":"329","author":"Y. Gurevich","year":"1988","unstructured":"Gurevich, Y. & Morris, J. M. 1988: Algebraic Operational Semantics and Modula-2 in: CSL '87 1st Workshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter) Springer LNCS 329, pp. 81\u2013101","journal-title":"Springer LNCS"},{"key":"4_CR10","first-page":"176","volume":"440","author":"Y. Gurevich","year":"1990","unstructured":"Gurevich, Y. & Moss, J. M. 1990: Algebraic Operational Semantics and Occam in: CSL '89 3rd Workshop on Computer Science Logic (Eds. E. B\u00f6rger, H. Kleine B\u00fcning, M. Richter), Springer LNCS 440, pp. 176\u2013192.","journal-title":"Springer LNCS"},{"key":"4_CR11","unstructured":"Jaffar, J. & Michaylov, S. 1987: Methodology and Implementation of a CLP-System. Proc. 4th Int. Conference on Logic Programming, Melbourne 1987"},{"key":"4_CR12","unstructured":"Morris, J. 1988: Algebraic Operational Semantics for Modula 2. Ph.D. Thesis. The University of Michigan at Ann Arbor."},{"key":"4_CR13","unstructured":"PrologIA 1990: Prolog III, Version 1.1., Reference and User's Manual, Prolog IA, Luminy, Case 919, 13288, Marseille cedex 09, France"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54487-9_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:55:03Z","timestamp":1605628503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54487-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544876","9783540384014"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-54487-9_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}