{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:23Z","timestamp":1742600423783,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604280"},{"type":"electronic","value":"9783540455950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60428-6_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:27:31Z","timestamp":1330280851000},"page":"347-358","source":"Crossref","is-referenced-by-count":0,"title":["Constraint categorial grammars"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Damas","sequence":"first","affiliation":[]},{"given":"Nelma","family":"Moreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Gosse Bouma and Gertjan van Noord. Constraint-based categorial grammars. In Proceedings of the 15th International Conference on Computational Linguistics and the 22nd Annual Meeting of the Association for Computational Linguistics (COLING), 1994.","DOI":"10.3115\/981732.981753"},{"key":"29_CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/B978-0-08-050296-0.50012-7","volume-title":"Constraints, Language, and Computation, Computation In Cognitive Science","author":"L. Damas","year":"1994","unstructured":"Lu\u00eds Damas, Nelma Moreira, and Giovanni B. Varile. The formal and computational theory of complex constraint solution. In C. Rupp, M. A. Rosner, and R. L. Johnson, editors, Constraints, Language, and Computation, Computation In Cognitive Science, pages 149\u2013166. Academic Press, London, 1994."},{"key":"29_CR3","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00630923","volume":"14","author":"M. Dalrymple","year":"1991","unstructured":"Mary Dalrymple, Stuart M. Shieber, and Fernando C. N. Pereira. Ellipsis and higher-order unification. Linguistics and Philosophy, 14:399\u2013452, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Damas and Giovanni B. Varile. On the satisfiability of complex constraints. In Proceedings of the 14th International Conference on Computational Linguistics (COLING), Nantes, France, 1992.","DOI":"10.3115\/992066.992086"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Mark Hepple. Chart parsing lambek grammars. In Proceedings of the 14th International Conference on Computational Linguistics (COLING), pages 134\u2013140, Nantes,France, 1992.","DOI":"10.3115\/992066.992090"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Esther Konig. A hypothetical reasoning algorithm for linguistic analysis. Journal of Logic and Computation, 1994. to appear.","DOI":"10.1093\/logcom\/4.1.1"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Joachim Lambek. The mathematics of sentence structure. American Mathematical Monthly, 65, 1958. Reprinted in: Buszkowski, W., W. Marciszewski, and J. van Benthem (eds): Categorial Grammar. Amsterdam, 1988.","DOI":"10.1075\/llsee.25.12lam"},{"key":"29_CR8","volume-title":"Technical report","author":"M. J. Maher","year":"1988","unstructured":"Michael J. Maher. Complete axiomatizations of the algebras of finite, rational and infinite trees. Technical report, IBM Thomas J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY 10598, U.S.A., 1988."},{"key":"29_CR9","doi-asserted-by":"crossref","DOI":"10.1515\/9783112329580","volume-title":"Categorial Investigations: Logical and Linguistic Aspects of Lambek Calculus","author":"M. Moortgat","year":"1988","unstructured":"Michael Moortgat. Categorial Investigations: Logical and Linguistic Aspects of Lambek Calculus. Foris, Dordrecht, 1988."},{"key":"29_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar:Categorial Logic of Signs","author":"G. Morrill","year":"1994","unstructured":"Glyn Morrill. Type Logical Grammar:Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht, 1994."},{"key":"29_CR11","unstructured":"Nelma Moreira. Formalismos e t\u00e9cnicas de implementa\u00e7\u00e3o de gram\u00e1ticas l\u00f3gicas com restri\u00e7\u00f5es. PhD thesis, Faculdade de Ci\u00eancias da Universidade do Porto, 1995. to appear."},{"key":"29_CR12","first-page":"810","volume-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium, volume 1","author":"G. Nadathur","year":"1988","unstructured":"Gopalan Nadathur and Dale Miller. An overview of \u03bbprolog. In Robert A. Kowalski and Kenneth A. Bowen, editors, Logic Programming: Proceedings of the Fifth International Conference and Symposium, volume 1, pages 810\u2013827, Seattle, WA, 1988. MIT Press."},{"key":"29_CR13","unstructured":"Fernando C.N. Pereira. Categorial semantics and scoping. Computational Linguistics, 16(1). 1990."},{"key":"29_CR14","volume-title":"Prolog and Natural Language Analysis","author":"F. C. Pereira","year":"1987","unstructured":"Fernando C.N. Pereira and Stuart M. Shieber. Prolog and Natural Language Analysis. Center for the Study of Language and Information Stanford, 1987."},{"key":"29_CR15","unstructured":"Gert Smolka. Feature constraint logics for unification grammars. Technical report, IBM Wissenschafliches Zentrum, Institut f\u00fcr Wissensbasierte Systeme, 1989. IWBS Report 93."},{"key":"29_CR16","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. In Krzysztof Apt, editor, ICLP92. MIT, 1992."},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Henk Zeevat, Ewan Klein, and Jo Calder. Unification categorial grammar. In Nicholas Haddock, Ewan Klein, and Glyn Morrill, editors, Categorial Grammar, Unification Grammar and Parsing. Centre for Cognitive Science, University of Edinburgh, 1987. Volume 1 of Working Papers in Cognitive Science.","DOI":"10.3115\/991635.991653"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60428-6_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:03:06Z","timestamp":1742598186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60428-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604280","9783540455950"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60428-6_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}