ask others

1. LACL 1996: Nancy, France

> Home > Conferences and Workshops > LACL

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/1996
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/1996
Christian Retoré:
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/BlackburnDLRRC96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/BlackburnDLRRC96
Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie:
Logical Aspects of Computational Linguistics: An Introduction. 1-20

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/JoshiK96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/JoshiK96
Aravind K. Joshi, Seth Kulick:
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints. 21-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/Kracht96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/Kracht96
Marcus Kracht:
Inessential Features. 43-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/Miller96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/Miller96
Dale Miller:
Linear Logic as Logic Programming: An Abstract. 63-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lacl/Stabler96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lacl/Stabler96
Edward P. Stabler:
Derivational Minimalism. 68-95

Selected Papers

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

maintained by

at