{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:26:18Z","timestamp":1725636378602},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531326"},{"type":"electronic","value":"9783642760716"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":[[1990]]},"DOI":"10.1007\/978-3-642-76071-6_34","type":"book-chapter","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T13:16:55Z","timestamp":1321967815000},"page":"297-306","source":"Crossref","is-referenced-by-count":0,"title":["Towards the Integration of Functions, Relations and Types in an AI Programming Language"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Backofen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lutz","family":"Euler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G\u00fcnther","family":"G\u00f6rz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","volume-title":"Structure and Interpretation of Computer Programs","author":"H Abelson","year":"1985","unstructured":"Harold Abelson and Gerald Jay Sussmann. Structure and Interpretation of Computer Programs. MIT.Press, 1985."},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0304-3975(86)90047-2","volume":"45","author":"H \u00c4it-Kaci","year":"1986","unstructured":"Hassan \u00c4it-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293\u2013351, 1986.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"34_CR3","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H \u00c4it-Kaci","year":"1989","unstructured":"Hassan \u00c4it-Kaci et al. Efficient implementation of lattice operations.ACM Transactions on Programming Languages and Systems, 11 (1):115\u2013146, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"34_CR4","volume-title":"LIFE \u2014 a natural language for natural language","author":"H \u00c4it-Kaci","year":"1988","unstructured":"Hassan \u00c4it-Kaci and Patrick Lincoln. LIFE \u2014 a natural language for natural language. Technical report, Microelectronics and Computer Technology Corporation, Austin (TX),1988 February"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H \u00c4it-Kaci","year":"1986","unstructured":"Hassan \u00c4it-Kaci and Roger Nasr. Login: A logic programming language with built-in inheritance. The Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"The Journal of Logic Programming"},{"key":"34_CR6","volume-title":"Attributterme und Relationen","author":"Rolf Backofen. Integration von Funktionen","year":"1989","unstructured":"Rolf Backofen. Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil II: Attributterme und Relationen. Diplomarbeit, Universit\u00e4t Erlangen-N\u00fcrnberg, 1989."},{"key":"34_CR7","first-page":"270","volume-title":"Determining consistency of feature terms with distributed disjunctions","author":"J D\u00f6rre","year":"1989","unstructured":"Jochen D\u00f6rre and Andreas Eisele. Determining consistency of feature terms with distributed disjunctions. In D[ieter] Metzing, editor, Proc. of the 13\n                  \n                    th\n                  \n                  German Workshop on Artificial Intelligence, volume 216 of Informatik Fachberichte, pages 270\u2013279. Springer, Berlin, 1989."},{"key":"34_CR8","first-page":"186","volume-title":"26th Annual Meeting of the Association for Computational Linguistics","author":"A Eisele","year":"1988","unstructured":"Andreas Eisele and Jochen D\u00f6rre. Unification of disjunctive feature descriptions. In26\n                  \n                    th\n                  \n                  Annual Meeting of the Association for Computational Linguistics, pages 186\u2013194, Buffalo (NY), 1988."},{"key":"34_CR9","volume-title":"Konzeption, Typhierarchie und Funktionen","author":"L Euler","year":"1989","unstructured":"Lutz Euler . Integration von Funktionen, Relationen und Typen beim Sprachentwurf. Teil I: Konzeption, Typhierarchie und Funktionen. Diplomarbeit, Universit\u00e4t Erlangen-N\u00fcrnberg,1989"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0743-1066(87)90016-1","volume":"4","author":"T Christopher","year":"1987","unstructured":"Christopher T. Haynes. Logic continuations. Journal of\n                  Logic Programming, 4:157\u2013176, 1987.","journal-title":"Journal ofLogic Programming"},{"key":"34_CR11","first-page":"18","volume-title":"An overview of disjunctive constraint satisfaction","author":"J Maxwell","year":"1989","unstructured":"John Maxwell and Ronald Kaplan. An overview of disjunctive constraint satisfaction. In Proceedings of the International Parsing Workshop 1989, pages 18\u201327, 1989."},{"key":"34_CR12","volume-title":"IWBS-Report","author":"B Nebel","year":"1989","unstructured":"Bernhard Nebel and Gert Smolka. Representation and reasoning with attributive descriptions. IWBS-Report 81, IBM Deutschland GmbH, Stuttgart, 1989."},{"key":"34_CR13","volume-title":"LILOG-Report","author":"G Smolka","year":"1988","unstructured":"Gert Smolka. A feature logic with subsorts. LILOG-Report 33, IBM Deutschland GmbH, Stuttgart, May 1988."},{"key":"34_CR14","volume-title":"Functional Programming Using Standard ML","author":"\u00c5 Wikstr\u00f6m","year":"1987","unstructured":"\u00c5ke Wikstr\u00f6m. Functional Programming Using Standard ML. Prentice Hall, London, 1987"}],"container-title":["Informatik-Fachberichte","GWAI-90 14th German Workshop on Artificial Intelligence"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76071-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:09:25Z","timestamp":1557896965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76071-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531326","9783642760716"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76071-6_34","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}