default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. LACL 1996: Nancy, France
- 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 - 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
- Aravind K. Joshi, Seth Kulick:
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints. 21-42 - Marcus Kracht:
Inessential Features. 43-62 - Dale Miller:
Linear Logic as Logic Programming: An Abstract. 63-67 - Edward P. Stabler:
Derivational Minimalism. 68-95
Selected Papers
- V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles:
Tree Adjoining Grammars in Noncommutative Linear Logic. 96-117 - Denis Béchet, Philippe de Groote:
Constructing Different Phonological Bracketings from a Proof Net. 118-133 - Pascal Boldini:
Vagueness and Type Theory. 134-148 - Yann Coscoy:
A Natural Language Explanation for Formal Proofs. 149-167 - Martin Emms:
Models for Polymorphic Lambek Calculus. 168-187 - Claire Gardent:
Sloopy Identity. 188-207 - Stephen J. Hegner:
A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions. 208-227 - Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay:
Language Understanding: A Procedural Perspective. 228-247 - Paul John King, Kiril Ivanov Simov:
The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged). 248-273 - Lucia H. B. Manara, Anne N. De Roeck:
A Belief-Centered Treatment of Pragmatic Presupposition. 274-291 - Jacek Marciniec:
Connected Sets of Types and Categorial Consequence. 292-309 - Josep M. Merenciano, Glyn Morrill:
Generation as Deduction on Labelled Proof Nets. 310-328 - Jens Michaelis, Marcus Kracht:
Semilinearity as a Syntactic Invariant. 329-345 - Stefan Riezler:
Quantitative Constraint Logic Programming for Weighted Grammar Applications. 346-365 - James Rogers:
Strict LT2 : Regular : : Local : Recognizable. 366-385 - Irene Schena:
Pomset Logic and Variants in Natural Languages. 386-405 - Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk:
Constraint Logic Programming for Computational Linguistics. 406-425 - Marek Szczerba:
Representation Theorems for Residuated Groupoids. 426-434
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-10 18:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
