{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:49Z","timestamp":1742914309552,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642232107"},{"type":"electronic","value":"9783642232114"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23211-4_2","type":"book-chapter","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T07:48:24Z","timestamp":1317282504000},"page":"21-38","source":"Crossref","is-referenced-by-count":2,"title":["A Datalog Recognizer for Almost Affine \u03bb-CFGs"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bourreau","sequence":"first","affiliation":[]},{"given":"Sylvain","family":"Salvati","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1008254111992","volume":"8","author":"T. Aoto","year":"1999","unstructured":"Aoto, T.: Uniqueness of normal proofs in implicational intuitionistic logic. Journal of Logic, Language and Information\u00a08, 217\u2013242 (1999)","journal-title":"Journal of Logic, Language and Information"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10849-009-9113-x","volume":"19","author":"C. Bassac","year":"2010","unstructured":"Bassac, C., Mery, B., Retor\u00e9, C.: Towards a type-theoretical account of lexical semantics. Journal of Logic, Language and Information\u00a019(2), 229\u2013245 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR3","unstructured":"Bourreau, P., Salvati, S.: The game of characterizing uniquely typed sequents in nj. Submitted to TLCA 2011 (2011)"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1305\/ndjfl\/1093883253","volume":"21","author":"M. Coppo","year":"1980","unstructured":"Coppo, M., Dezani-Ciancaglini, M.: An extension of the basic functionality theory for the \u03bb-calculus. Notre Dame Journal of Formal Logic\u00a021(4), 685\u2013693 (1980)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Curry, H.B.: Some logical aspects of grammatical structure (1961)","DOI":"10.1090\/psapm\/012\/9981"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards abstract categorial grammars. In: Proceedings of the Conference on Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, pp. 148\u2013155 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"2_CR7","unstructured":"Kanazawa, M.: Parsing and generation as Datalog queries. In: Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, Prague, pp. 176\u2013183. Association for Computational Linguistics (2007)"},{"key":"2_CR8","unstructured":"Kanazawa, M.: Work presented at the logic seminar in NII (2010)"},{"key":"2_CR9","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven (1974)"},{"key":"2_CR10","unstructured":"Muskens, R.: Lambda Grammars and the Syntax-Semantics Interface. In: van Rooy, R., Stokhof, M. (eds.) Proceedings of the Thirteenth Amsterdam Colloquium, Amsterdam, pp. 150\u2013155 (2001)"},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10849-009-9114-9","volume":"19","author":"R. Muskens","year":"2010","unstructured":"Muskens, R.: New Directions in Type-Theoretic Grammars. Journal of Logic, Language and Information\u00a019(2), 129\u2013136 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Pogodalla, S.: Generation, lambek calculus, montague\u2019s semantics and semantic proof nets. In: Proceedings of the International Conference on Computational Linguistics (August 2000)","DOI":"10.3115\/992730.992737"},{"issue":"2","key":"2_CR13","first-page":"1","volume":"2","author":"A. Ranta","year":"2009","unstructured":"Ranta, A.: The gf resource grammar library. Linguistic Issues in Language Technology\u00a02(2), 1\u201363 (2009)","journal-title":"Linguistic Issues in Language Technology"},{"key":"2_CR14","unstructured":"Salvati, S.: Probl\u00e8mes de filtrage et probl\u00e8mes d\u2019analyse pour les grammaires cat\u00e9gorielles abstraites. PhD thesis, Institut National Polytechnique de Lorraine (2005)"},{"key":"2_CR15","unstructured":"Salvati, S.: On the membership problem for non-linear abstract categorial grammars. In: Muskens, R. (ed.) Proceedings of the Workshop on New Directions in Type-theoretic Grammars, Dublin, Ireland. Foundation of Logic, Language and Information, FoLLI, pp. 43\u201350 (August 2007)"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s10849-009-9110-0","volume":"19","author":"S. Salvati","year":"2010","unstructured":"Salvati, S.: On the Membership Problem for Non-Linear Abstract Categorial Grammars. Journal of Logic, Language and Information\u00a019(2), 163\u2013183 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR17","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J. Ullman","year":"1988","unstructured":"Ullman, J.: Principles of Database and Knowledge-Base Systems, vol.\u00a0I. W. H. Freeman & Co., New York (1988)"},{"key":"2_CR18","unstructured":"Yoshinaka, R.: Linearization of affine abstract categorial grammars. In: Proceedings of the 11th Conference on Formal Grammar, Malaga, Spain, pp. 185\u2013199 (2006)"}],"container-title":["Lecture Notes in Computer Science","The Mathematics of Language"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23211-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:16:09Z","timestamp":1558296969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23211-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232107","9783642232114"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23211-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}