Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. LACL 2014: Toulouse, France
- Nicholas Asher, Sergei Soloviev:
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Lecture Notes in Computer Science 8535, Springer 2014, ISBN 978-3-662-43741-4
Regular Articles
- Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati:
Building PMCFG Parsers as Datalog Program Transformations. 1-13 - Daisuke Bekki:
Representing Anaphora with Dependent Types. 14-29 - Wojciech Buszkowski
:
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. 30-43 - Stergios Chatzikyriakidis:
Adverbs in a Modern Type Theory. 44-56 - Alexander Clark, Ryo Yoshinaka:
An Algebraic Approach to Multiple Context-Free Grammars. 57-69 - Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla:
An ACG View on G-TAG and Its g-Derivation. 70-82 - Annie Foret:
On Harmonic CCG and Pregroup Grammars. 83-95 - Nissim Francez:
The Granularity of Meaning in Proof-Theoretic Semantics. 96-106 - Thomas Graf:
Late Merge as Lowering Movement in Minimalist Grammars. 107-121 - Yusuke Kubota, Robert Levine:
Pseudogapping as Pseudo-VP Ellipsis. 122-137 - Georgiana E. Lungu, Zhaohui Luo:
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. 138-148 - Glyn Morrill, Oriol Valentín:
Semantically Inactive Multiplicatives and Words as Types. 149-162 - Richard Zuber:
Generalising Predicate and Argument Invariance. 163-176
Invited Speaker
- Zhaohui Luo:
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? 177-188
a service of 
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 2024-07-23 00:59 CEST 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:
