{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:16Z","timestamp":1725456076650},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354058403X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016857","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:52:57Z","timestamp":1132732377000},"page":"237-252","source":"Crossref","is-referenced-by-count":2,"title":["ECOLOG: an Environment for constraint logics"],"prefix":"10.1007","author":[{"given":"Marianne","family":"Haberstrau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"A. Colmerauer. An introduction to Prolog III. Commun. ACM, 33(7), July 1990.","key":"18_CR1","DOI":"10.1145\/79204.79210"},{"unstructured":"H. Comon. Disunification: a survey. In J.-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.","key":"18_CR2"},{"doi-asserted-by":"crossref","unstructured":"H. Comon. Constraints in term algebras (short survey). In T. R. M. Nivat, C. Rattray and G. Scollo, editors, Proc. Conf. on Algebraic Methodology and Software Technology, Univ. of Twente, 1993. Springer Verlag, series Workshop in Computing. Invited talk.","key":"18_CR3","DOI":"10.1007\/978-1-4471-3227-1_9"},{"key":"18_CR4","first-page":"693","volume":"FGCS-88","author":"M. Dincbas","year":"1988","unstructured":"M. Dincbas, P. V. Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F.Berthier. The constraint logic programming language CHIP. In Proc. Int. Conf. on Fifth Generation Computer Systems FGCS-88, pages 693\u2013702, 1988.","journal-title":"Proc. Int. Conf. on Fifth Generation Computer Systems"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01189020","volume":"3","author":"M. Fern\u00e1ndez","year":"1992","unstructured":"M. Fern\u00e1ndez. Narrowing based procedures for equational disunification. Applicable Algebra in Engineering Communication and Computing, 3:1\u201326, 1992.","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"key":"18_CR6","volume-title":"Technical report","author":"T. Fr\u00fchwirth","year":"1992","unstructured":"T. Fr\u00fchwirth. Constraint simplification rules. Technical report, ECRC Munchen, 1992."},{"key":"18_CR7","volume-title":"Th\u00e8se de Doctorat","author":"M. Haberstrau","year":"1993","unstructured":"M. Haberstrau. ECOLOG: un Environnement pour la programmation en LOGique COntrainte. Th\u00e8se de Doctorat, Universit\u00e9 de Paris-Sud, France, D\u00e9cembre 1993."},{"unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. In Proceedings of the IEEE Symposium on Logic in Computer Science, Ithaca, New York, 1987.","key":"18_CR8"},{"unstructured":"J. Jaffar and S. Michaylov. Methodology and implementation of a CLP system. In Proc. Int. Conf. on Logic Programming, 1987.","key":"18_CR9"},{"unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. Designing constraint logic programming languages using computational systems. Draft, 1993.","key":"18_CR10"},{"unstructured":"C. Kirchner, H. Kirchner, and M. Vittek. Implementing computational systems with constraints. In P. Kanellakis, J.-L. Lassez, and V. Saraswat, editors, Proceedings of PPCP, Providence, RI, 1993.","key":"18_CR11"},{"unstructured":"T. Nipkow. Equational reasoning in isabelle. University of Manchester.","key":"18_CR12"},{"unstructured":"L. C. Paulson. ML for the Working Programmer. Cambridge University Press, 1991.","key":"18_CR13"},{"unstructured":"L. C. Paulson. Introduction to isabelle. Technical report, University of Cambridge, 1993.","key":"18_CR14"},{"doi-asserted-by":"crossref","unstructured":"F. Pfenning. Logic programming in the LF logical framework. In G. huet and G. D. Plotkin, editors, Logical Frameworks. Cambridge University Press, 1991.","key":"18_CR15","DOI":"10.1017\/CBO9780511569807.008"},{"unstructured":"P. Weis and al. The caml reference manual. Rapport de Recherche 121, INRIA, 1990.","key":"18_CR16"}],"container-title":["Lecture Notes in Computer Science","Constraints in Computational Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0016857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:38:18Z","timestamp":1586579898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058403X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0016857","relation":{},"subject":[]}}