{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:59Z","timestamp":1725664199897},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580256"},{"type":"electronic","value":"9783540484172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58025-5_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:07:29Z","timestamp":1330268849000},"page":"348-360","source":"Crossref","is-referenced-by-count":0,"title":["Linear logic semantics for Concurrent Prolog"],"prefix":"10.1007","author":[{"given":"Ji\u0159\u00ed","family":"Zlatu\u0161ka","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"22_CR1","series-title":"LNAI 475","volume-title":"Extensions of Logic programming","author":"J.-M. Andreoli","year":"1991","unstructured":"J.-M. Andreoli and R. Pareschi: Logic programming with sequent systems. A linear logic approach. In: Extensions of Logic programming, P. Schroeder-Heister, ed., LNAI 475, Springer, Berlin, 1991."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard: Linear logic, Theoretical Computer Science, 50(1), 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"22_CR3","unstructured":"J.-Y. Girard: Linear logic: A survey. Logic, Algebra and Computation, Marktoberdorf Summer School, 1991."},{"key":"22_CR4","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor: Proofs and Types, Cambridge University Press, Cambridge, 1989."},{"key":"22_CR5","volume-title":"Parallel Logic Programming in PARLOG: The language and its implementation","author":"S. Gregory","year":"1987","unstructured":"S. Gregory: Parallel Logic Programming in PARLOG: The language and its implementation. Addison-Wesley, Reading, MA, 1987."},{"key":"22_CR6","first-page":"337","volume-title":"Logical Foundations of Functional programming","author":"G. Huet","year":"1990","unstructured":"G. Huet: A uniform approach to type theory, in: Logical Foundations of Functional programming, Addison-Wesley, Reading, MA, 1990, 337\u2013397."},{"key":"22_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"J.W. Lloyd: Foundations of Logic Programming. Springer, Berlin, 1984."},{"key":"22_CR8","volume-title":"Logic for Problem Solving","author":"R. Kowalski","year":"1979","unstructured":"R. Kowalski: Logic for Problem Solving. North-Holland, Amsterdam, 1979."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer: From Petri nets to linear logic, in: Category Theory and Computer Science, D.H.Pitt, et.al., ed., LNCS 389, Springer, 1989, 313\u2013340.","DOI":"10.1007\/BFb0018359"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"J. Messeguer: Rewriting as a unified model of concurrency, in: Proc. CONCUR'90, J.C.M.Baeten and J.W.Klop, eds., LNCS 458, Springer, 1990, 384\u2013400.","DOI":"10.1007\/BFb0039072"},{"key":"22_CR11","unstructured":"E. Shapiro, (ed.): Concurrent Prolog: Collected Papers., Vols 1 & 2, MIT Press, 1987."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"E. Shapiro: The family of concurrent programming languages, ACM Computing Surveys, 1989,413-510.","DOI":"10.1145\/72551.72555"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"J. Zlatu\u0161ka: Committed-choice logic programming in linear logic, in: Computational Logic and Proof Theory (Third Kurt G\u00f6del Colloquium, KGC'93; G. Gottlob, A.Leitsch, and D.Mundici, eds.), LNCS 713, Springer, 1993, 337\u2013348.","DOI":"10.1007\/BFb0022581"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58025-5_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:21Z","timestamp":1605647781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58025-5_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580256","9783540484172"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58025-5_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}