1. LACL 1996: Nancy, France

Christian Retoré (Ed.): Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers. Lecture Notes in Computer Science 1328 Springer 1997, ISBN 3-540-63700-1 BibTeX

@proceedings{DBLP:conf/lacl/1996,
  editor    = {Christian Retor{\'e}},
  title     = {Logical Aspects of Computational Linguistics, First International
               Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected
               Papers},
  booktitle = {LACL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1328},
  year      = {1997},
  isbn      = {3-540-63700-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Eric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction. 1-20
Electronic Edition (Springer LINK) BibTeX

Invited Papers

Aravind K. Joshi, Seth Kulick:
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints. 21-42
Electronic Edition (Springer LINK) BibTeX
Marcus Kracht:
Inessential Features. 43-62
Electronic Edition (Springer LINK) BibTeX
Dale Miller:
Linear Logic as Logic Programming: An Abstract. 63-67
Electronic Edition (Springer LINK) BibTeX
Edward P. Stabler:
Derivational Minimalism. 68-95
Electronic Edition (Springer LINK) BibTeX

Selected Papers

V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles:
Tree Adjoining Grammars in Noncommutative Linear Logic. 96-117
Electronic Edition (Springer LINK) BibTeX
Denis Béchet, Philippe de Groote:
Constructing Different Phonological Bracketings from a Proof Net. 118-133
Electronic Edition (Springer LINK) BibTeX
Pascal Boldini:
Vagueness and Type Theory. 134-148
Electronic Edition (Springer LINK) BibTeX
Yann Coscoy:
A Natural Language Explanation for Formal Proofs. 149-167
Electronic Edition (Springer LINK) BibTeX
Martin Emms:
Models for Polymorphic Lambek Calculus. 168-187
Electronic Edition (Springer LINK) BibTeX
Claire Gardent:
Sloopy Identity. 188-207
Electronic Edition (Springer LINK) BibTeX
Stephen J. Hegner:
A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions. 208-227
Electronic Edition (Springer LINK) BibTeX
Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay:
Language Understanding: A Procedural Perspective. 228-247
Electronic Edition (Springer LINK) BibTeX
Paul John King, Kiril Ivanov Simov:
The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged). 248-273
Electronic Edition (Springer LINK) BibTeX
Lucia H. B. Manara, Anne N. De Roeck:
A Belief-Centered Treatment of Pragmatic Presupposition. 274-291
Electronic Edition (Springer LINK) BibTeX
Jacek Marciniec:
Connected Sets of Types and Categorial Consequence. 292-309
Electronic Edition (Springer LINK) BibTeX
Josep M. Merenciano, Glyn Morrill:
Generation as Deduction on Labelled Proof Nets. 310-328
Electronic Edition (Springer LINK) BibTeX
Jens Michaelis, Marcus Kracht:
Semilinearity as a Syntactic Invariant. 329-345
Electronic Edition (Springer LINK) BibTeX
Stefan Riezler:
Quantitative Constraint Logic Programming for Weighted Grammar Applications. 346-365
Electronic Edition (Springer LINK) BibTeX
James Rogers:
Strict LT₂ : Regular : : Local : Recognizable. 366-385
Electronic Edition (Springer LINK) BibTeX
Irene Schena:
Pomset Logic and Variants in Natural Languages. 386-405
Electronic Edition (Springer LINK) BibTeX
Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk:
Constraint Logic Programming for Computational Linguistics. 406-425
Electronic Edition (Springer LINK) BibTeX
Marek Szczerba:
Representation Theorems for Residuated Groupoids. 426-434
Electronic Edition (Springer LINK) BibTeX