{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:44Z","timestamp":1725456344698},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055033X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013530","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:44:01Z","timestamp":1132710241000},"page":"191-198","source":"Crossref","is-referenced-by-count":0,"title":["Logical operational semantics of Parlog part I: And-Parallelism"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]},{"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"E.B\u00f6rger, 1990 A Logic Operational Semantics of full Prolog. Part II. Built-in Predicates for Database Manipulations, MFCS'90 Mathematical Foundation of Computer Science (Ed. B.Rovan), Springer LNCS 452, pp. 1\u201314.","DOI":"10.1007\/BFb0029592"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"E.B\u00f6rger & E.Riccobene, 1991 Logical Operational Semantics of Parlog. Part II:Or-Parallelism (submitted).","DOI":"10.1007\/3-540-55460-2_3"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"E.B\u00f6rger & D.Rosenzweig, 1991, From Prolog Algebras Towards WAM \u2014 A Mathematical Study of Implementation, CSL'90 4rd Workshop on Computer Science Logic (Eds. E.B\u00f6rger, H.Kleine B\u00fcning, M.M.Richter), Springer LNCS (to appear).","DOI":"10.1007\/3-540-54487-9_51"},{"key":"14_CR4","first-page":"21","volume-title":"Part II, Technical Report, CSE-TR-88-91","author":"E. B\u00f6rger","year":"1991","unstructured":"E. B\u00f6rger & D. Rosenzweig, 1991, WAM Algebras \u2014 A Mathematical Study of Implementation. Part II, Technical Report, CSE-TR-88-91, pp. 21, Dept. of EECS, University of Michigan, Ann Arbor."},{"key":"14_CR5","unstructured":"T.Conlon, Programming in Parlog, Addison Wesley 1989."},{"key":"14_CR6","unstructured":"T.Conlon & S.Gregory, Hands on MacPARLOG 2.0 A User's Guide, PLP Ltd 1990."},{"key":"14_CR7","unstructured":"S.Gregory, Parallel Logic Programming in PARLOG, Addison Wesley 1989."},{"key":"14_CR8","unstructured":"Y.Gurevich, 1991, Dynamic Algebras. A Tutorial Introduction, EATCS Bulletin 43, February 1991."},{"key":"14_CR9","unstructured":"Y.Gurevich, 1988, Logic and Challenge of Computer Science, Trends in Theoretical Computer Science (Ed. E.B\u00f6rger), Computer Science Press, pp. 1\u201357."},{"key":"14_CR10","unstructured":"Y.Gurevich, 1988, Algorithms in the World of Bounded Resources. In: The Universal Turing Machine \u2014 a Half-Century Story (Ed. R. Herken), Oxford University Press, pp. 407\u2013416."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Y.Gurevich & L.S.Moss, 1990, Algebraic Operational Semantics and Occam, CSL'89 3rd Workshop on Computer Science Logic (Eds. E.B\u00f6rger, H.Kleine B\u00fcning, M.M.Richter), Springer LNCS 440, pp. 176\u2013192.","DOI":"10.1007\/3-540-52753-2_39"}],"container-title":["Lecture Notes in Computer Science","Processing Declarative Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:28:22Z","timestamp":1586564902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055033X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0013530","relation":{},"subject":[]}}