{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:41Z","timestamp":1725664301413},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591559"},{"type":"electronic","value":"9783540492009"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:03:55Z","timestamp":1330275835000},"page":"251-292","source":"Crossref","is-referenced-by-count":13,"title":["The definition of Kernel Oz"],"prefix":"10.1007","author":[{"given":"Gert","family":"Smolka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"1\u20132","key":"14_CR1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"H. A\u00eft-Kaci","year":"1994","unstructured":"Hassan A\u00eft-Kaci, Andreas Podelski, and Gert Smolka. A feature-based constraint system for logic programming with entailment. Theoretical Computer Science, 122(1\u20132):263\u2013283, January 1994.","journal-title":"Theoretical Computer Science"},{"key":"14_CR2","unstructured":"Rolf Backofen and Gert Smolka. A complete and recursive feature theory. Theoretical Computer Science. To appear 1995; a preliminary version is available as DFKI Research Report RR-92-30, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany."},{"key":"14_CR3","first-page":"320","volume-title":"Lecture Notes in Computer Science, vol. 845","author":"R. Backofen","year":"1994","unstructured":"Rolf Backofen and Ralf Treinen. How to win a game with features. In Jean-Pierre Jouannaud, editor, 1st International Conference on Constraints in Computational Logics, Lecture Notes in Computer Science, vol. 845, pages 320\u2013335, M\u00fcnchen, Germany, 7\u20139 September 1994. Springer-Verlag."},{"key":"14_CR4","unstructured":"Martin Henz. The Oz notation. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"key":"14_CR5","unstructured":"Martin Henz and Martin M\u00fcller. Programming in Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8","author":"C. Hewitt","year":"1977","unstructured":"Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323\u2013364, 1977.","journal-title":"Artificial Intelligence"},{"key":"14_CR7","series-title":"ECS-LFCS Report Series 91\u2013180","volume-title":"Laboratory for Foundations of Computer Science","author":"R. Milner","year":"1991","unstructured":"Robin Milner. The polyadic \u03c0-calculus: A tutorial. ECS-LFCS Report Series 91\u2013180, Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, October 1991."},{"issue":"2","key":"14_CR8","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Robin Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"14_CR9","unstructured":"Tobias M\u00fcller, Konstantin Popow, Christian Schulte, and J\u00f6rg W\u00fcrtz. Constraint programming in Oz. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"key":"14_CR10","volume-title":"Logic Programming: Proceedings of the 1994 International Symposium","author":"C. Schulte","year":"1994","unstructured":"Christian Schulte and Gert Smolka. Encapsulated search in higher-order concurrent constraint programming. In Maurice Bruynooghe, editor, Logic Programming: Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 1994. MIT-Press. To appear."},{"key":"14_CR11","volume-title":"Lecture Notes in Computer Science, vol. 874","author":"C. Schulte","year":"1994","unstructured":"Christian Schulte, Gert Smolka, and J\u00f6rg W\u00fcrtz. Encapsulated search and constraint programming in Oz. In A.H. Borning, editor, Second Workshop on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 874, Orcas Island, Washington, USA, 2\u20134 May 1994. Springer-Verlag."},{"key":"14_CR12","unstructured":"Gert Smolka. A calculus for higher-order concurrent constraint programming with deep guards. Research Report RR-94-03, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, February 1994."},{"key":"14_CR13","first-page":"50","volume-title":"Lecture Notes in Computer Science, vol. 845","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka. A foundation for higher-order concurrent constraint programming. In Jean-Pierre Jouannaud, editor, 1st International Conference on Constraints in Computational Logics, Lecture Notes in Computer Science, vol. 845, pages 50\u201372, M\u00fcnchen, Germany, 7\u20139 September 1994. Springer-Verlag."},{"key":"14_CR14","unstructured":"Gert Smolka. An Oz primer. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"issue":"3","key":"14_CR15","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. Journal of Logic Programming, 18(3):229\u2013258, April 1994.","journal-title":"Journal of Logic Programming"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science, vol. 711","doi-asserted-by":"crossref","first-page":"734","DOI":"10.1007\/3-540-57182-5_64","volume-title":"Mathematical Foundations of Computer Science","author":"R. Treinen","year":"1993","unstructured":"Ralf Treinen. Feature constraints with first-class features. In Andrzej M. Borzyszkowski and Stefan Soko\u0142owski, editors, Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 711, pages 734\u2013743, Gda\u0144sk, Poland, 30 August\u20133 September 1993. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:22:54Z","timestamp":1619572974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}