Logical aspects of computational linguistics. 1st international conference, LACL '96, Nancy, France, September 23--25, 1996. Selected papers
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Blackburn, Patrick; Dymetman, Marc; Lecomte, Alain; Ranta, Aarne; Retoré, Christian; Villemonte de la Clergerie, Eric}, Logical aspects of computational linguistics: An introduction, 1-20 [Zbl 0885.03027] \textit{Joshi, Aravind K.; Kulick, Seth}, Partial proof trees, resource sensitive logics and syntactic constraints, 21-42 [Zbl 0885.03028] \textit{Kracht, Marcus}, Inessential features, 43-62 [Zbl 0896.03023] \textit{Miller, Dale}, Linear logic as logic programming: An abstract, 63-67 [Zbl 0885.03034] \textit{Stabler, Edward}, Derivational minimalism, 68-95 [Zbl 1156.68439] \textit{Abrusci, V. Michele; Fouqueré, Christophe; Vauzeilles, Jacqueline}, Tree adjoining grammars in noncommutative linear logic, 96-117 [Zbl 0889.03028] \textit{Bechet, Denis; de Groote, Philippe}, Constructing different phonological bracketings from a proof net, 118-133 [Zbl 0889.03019] \textit{Coscoy, Yann}, A natural language explanation for formal proofs, 149-167 [Zbl 0889.03011] \textit{Emms, Martin}, Models for polymorphic Lambek calculus, 168-187 [Zbl 0894.03010] \textit{Hegner, Stephen J.}, A family of decidable feature logics which support HPSG-style set and list constructions, 208-227 [Zbl 0887.68080] \textit{Marciniec, Jacek}, Connected sets of types and categorial consequence, 292-309 [Zbl 0899.03020] \textit{Merenciano, Josep M.; Morrill, Glyn}, Generation as deduction on labelled proof nets, 310-328 [Zbl 0925.03141] \textit{Michaelis, Jens; Kracht, Marcus}, Semilinearity as a syntactic invariant, 329-345 [Zbl 0889.03020] \textit{Rogers, James}, Strict \(\text{LT}_2\) : regular :: local : recognizable, 366-385 [Zbl 0945.03058] \textit{Schena, Irene}, Pomset logic and variants in natural languages, 386-405 [Zbl 0890.03012] \textit{Szczerba, Marek}, Representation theorems for residuated groupoids, 426-434 [Zbl 0889.03058]
scientific article; zbMATH DE number 1092347