Logical Aspects of Computational Linguistics - selected papers from LACl'97

Alain Lecomte 1 François Lamarche 1 Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
A. Lecomte, F. Lamarche, G. Perrier. 2th International Conference on Logical Aspects of Computational Linguistics, 1997, Nancy, France, Springer Verlag, 1582, 251 p, 1997, Lecture Notes in Artificial Intelligence
Liste complète des métadonnées

https://hal.inria.fr/inria-00099010
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:41:21
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00099010, version 1

Collections

Citation

Alain Lecomte, François Lamarche, Guy Perrier. Logical Aspects of Computational Linguistics - selected papers from LACl'97. A. Lecomte, F. Lamarche, G. Perrier. 2th International Conference on Logical Aspects of Computational Linguistics, 1997, Nancy, France, Springer Verlag, 1582, 251 p, 1997, Lecture Notes in Artificial Intelligence. 〈inria-00099010〉

Partager

Métriques

Consultations de la notice

63