{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:36:11Z","timestamp":1725755771246},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642859854"},{"type":"electronic","value":"9783642859830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-642-85983-0_13","type":"book-chapter","created":{"date-parts":[[2013,11,8]],"date-time":"2013-11-08T02:56:12Z","timestamp":1383879372000},"page":"330-349","source":"Crossref","is-referenced-by-count":1,"title":["Constraints in NUT"],"prefix":"10.1007","author":[{"given":"Jaan","family":"Penjam","sequence":"first","affiliation":[]},{"given":"Enn","family":"Tyugu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Freuder, E.C., Wallace, R.J. (1992) Partial Constraint Satisfaction \u2014 Artificial Intelligence, 58, pp. 21\u201370."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Jaffar, J., Lassez J.-L. (1987) Constraint Logic Programming. \u2014 Proc. of the 14th ACM Symposium on Principles of Programming Languages. Munich, pp. 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"13_CR3","first-page":"111","volume":"1987","author":"A Kalja","year":"1992","unstructured":"Kalja, A., Pahapill, J. (1992) Small Knowledge CAD Systems. \u2014 Information Modelling and Knowledge Bases III: Foundations, Theory and Applications, IOC Press, Amsterdam, pp. 347\u2013356 the 14th ACM Symposium on Principles of Programming Languages. Munich, 1987, pp. 111\u2013119.","journal-title":"Munich"},{"key":"13_CR4","unstructured":"Kotov, V., Nariniani, A., Tyugu, E. (1989) The USSR Academy of Sciences START Project. \u2014 Information Processing 89 (IFIP\u201989). North Holland, pp. 623\u2013626."},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0004-3702(92)90003-G","volume":"58","author":"AK Mackworth","year":"1992","unstructured":"Mackworth, A.K. (1992) The Logic of Constraint Satisfaction. \u2014 Artificial Intelligence, 58, pp. 3\u201320.","journal-title":"The Logic of Constraint Satisfaction. \u2014 Artificial Intelligence"},{"key":"13_CR6","volume-title":"Computer Science Department. Aarhus University","author":"M Matskin","year":"1991","unstructured":"Matskin, M. (1991) NUT System papers. \u2014 Computer Science Department. Aarhus University, DAIMI MD-59."},{"key":"13_CR7","volume-title":"The NUT language. \u2014 TRITA-TCS-SE-92-TR","author":"M Matskin","year":"1992","unstructured":"Matskin, M., Tyugu, E. (1992) The NUT language. \u2014 TRITA-TCS-SE-92-TR. Royal Institute of Technology, Stockholm."},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"2","author":"G Mints","year":"1983","unstructured":"Mints, G., Tyugu, E. (1983) Justification of the Structural Synthesis of Programs. \u2014 Science of Computer Programming, 2, no. 3, pp. 215\u2013240.","journal-title":"Justification of the Structural Synthesis of Programs. \u2014 Science of Computer Programming"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0747-7171(88)80035-X","volume":"5","author":"G Mints","year":"1988","unstructured":"Mints, G., Tyugu, E. (1988) The Programming System PRIZ. \u2014 Journal of Symbolic Computations, 5, pp. 359\u2013375.","journal-title":"The Programming System Journal of Symbolic Computations"},{"issue":"23","key":"13_CR10","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(90)90039-8","volume":"9","author":"G Mints","year":"1990","unstructured":"Mints, G., Tyugu, E. (1990) Propositional Logic Programming and the PRIZ system. \u2014 Journal of Logic Programming, 9 no. 2\u20133, pp. 179\u2013194.","journal-title":"Propositional Logic Programming and the Priz system Journal of Logic Programming"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(90)90200-2","volume":"71","author":"J Penjam","year":"1990","unstructured":"Penjam, J. (1990) Computational and Attribute Models of Formal Languages. \u2014 Theoretical Comp. Sci., 71, pp. 241\u2013264.","journal-title":"Theoretical Comp Sci"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Saraswat, V. (1990) Concurrent Constraint Programming. \u2014 Proc. of the 17th ACM Symposium on Principles of Programming Languages. San Francisco, pp. 232\u2013245.","DOI":"10.1145\/96709.96733"},{"key":"13_CR13","volume-title":"Saarbrucken","author":"G Smolka","year":"1993","unstructured":"Smolka, G., Henz, M., Wurtz, J. (1993) Object-Oriented Concurrent Constraint Programming in Oz. \u2014 DFKI RR-933\u201316. Saarbrucken."},{"issue":"6","key":"13_CR14","first-page":"521","volume":"5","author":"E Tyugu","year":"1988","unstructured":"Tyugu, E., Matskin M., Penjam J., Eomois P. (1986) NUT \u2014 An Object-Oriented Language. \u2014 Computers and Artificial Intelligence, 5, no. 6, pp. 521\u2013542. Tyugu, E. (1988) Knowledge-Based Programming. \u2014 Addison-Wesley, N.Y., 1988.","journal-title":"Tyugu, E. (1988) Knowledge-Based Programming. \u2014 Addison-Wesley, N.Y."},{"key":"13_CR15","first-page":"46","volume":"34","author":"E Tyugu","year":"1991","unstructured":"Tyugu, E. (1991) Three New-Generation Software Environments. \u2014 Communications of the ACM, 34 pp. 46\u201359.","journal-title":"Three New-Generation Software Environments Communications of the Acm"},{"key":"13_CR16","volume-title":"Springer Verlag","author":"E Tyugu","year":"1993","unstructured":"Tyugu, E., Uustalu, T. (1993) Higher-Order Functional Constraint Networks. \u2014 In B. Mayoh, E. Tyugu, J. Penjam (eds.) Constraint Programming. NATO ASI Series F, Vol. 131. Springer-Verlag, Berlin, 1994 (this volume)."}],"container-title":["NATO ASI Series","Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-85983-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T03:31:10Z","timestamp":1558668670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-85983-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783642859854","9783642859830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-85983-0_13","relation":{},"ISSN":["0258-1248"],"issn-type":[{"type":"print","value":"0258-1248"}],"subject":[],"published":{"date-parts":[[1994]]}}}