Logical aspects of computational linguistics
Subtitle: second international conference, LACL '97, Nancy, France, September 22-24, 1997 : selected papers
By: Alain Lecomte, François Lamarche, Guy Perrier (eds.).
Contributors: Lecomte, Alain, 1947-; Lamarche, François.; Perrier, Guy, 1950-
Series: Lecture notes in computer science ;; 1582.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1582.; Lecture notes in computer science.
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 250
Subjects: Computational linguistics -- Congresses; Language and logic -- Congresses
Genres: Congresses.
Description: This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type-directed natural language processing, proof-theoretic aspects, concatenation logics, and mathematical languages.
Notes: Includes bibliographical references.