{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:04:50Z","timestamp":1725642290651},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540183730"},{"type":"electronic","value":"9783642730009"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-73000-9_23","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T11:33:14Z","timestamp":1323689594000},"page":"260-269","source":"Crossref","is-referenced-by-count":0,"title":["Simulation einer parallelen Prolog-Maschine mit Modula-2"],"prefix":"10.1007","author":[{"given":"Margarita","family":"Esponda","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus, J.: Can Programming be liberated from the von Neumann style? A functional style and its algebra of programs., Communications of the ACM, Vol 21, pp. 613\u2013641, 1978.","journal-title":"Communications of the ACM"},{"key":"23_CR2","unstructured":"Beer, J.: POPE: Parallel Operating Prolog Engine, erscheint in Future Generation Computer Systems."},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R Kowalski","year":"1979","unstructured":"Kowalski, R.: Algorithn=Logic+Control, Communications of the ACM 22, pp. 424\u2013436, 1979.","journal-title":"Communications of the ACM"},{"key":"23_CR4","unstructured":"Gregory, S.: Design, Application and Implementation of a Parallel Programming Language, PhD-Thesis, Imperial College of Science and Technology, London 1985."},{"key":"23_CR5","unstructured":"Naish, L.: Negation and Control in Prolog, Lecture Notes in Computer Science 238, Springer-Verlag 1986."},{"key":"23_CR6","volume-title":"A Subset of Concurrent Prolog and its Interpreter","author":"EY Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: A Subset of Concurrent Prolog and its Interpreter, Tech. Report TR-003, Institute for New Generation Computer Technology, Tokyo 1983."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Ueda, K: Guarded Horn Clauses, PhD-Thesis, University of Tokyo 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"23_CR8","unstructured":"Warren, D.H.D.: Implementing Prolog-Compiling Logic Programs 1 and 2, DAI Research Reports 39 und 40, University of Edinburgh, 1977."},{"key":"23_CR9","unstructured":"Warren, D.H.D.: An Abstract Prolog Instruction Set, SRI International, Menlo Park, C A. Technical Report (Oktober 1983)."}],"container-title":["Informatik-Fachberichte","Simulationstechnik"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-73000-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:04:35Z","timestamp":1557896675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-73000-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540183730","9783642730009"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-73000-9_23","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}