• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 15 matches

• 2014
• 
  Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati:
  Building PMCFG Parsers as Datalog Program Transformations. LACL 2014: 1-13
• 
  Daisuke Bekki:
  Representing Anaphora with Dependent Types. LACL 2014: 14-29
• 
  Wojciech Buszkowski:
  An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. LACL 2014: 30-43
• 
  Stergios Chatzikyriakidis:
  Adverbs in a Modern Type Theory. LACL 2014: 44-56
• 
  Alexander Clark, Ryo Yoshinaka:
  An Algebraic Approach to Multiple Context-Free Grammars. LACL 2014: 57-69
• 
  Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla:
  An ACG View on G-TAG and Its g-Derivation. LACL 2014: 70-82
• 
  Annie Foret:
  On Harmonic CCG and Pregroup Grammars. LACL 2014: 83-95
• 
  Nissim Francez:
  The Granularity of Meaning in Proof-Theoretic Semantics. LACL 2014: 96-106
• 
  Thomas Graf:
  Late Merge as Lowering Movement in Minimalist Grammars. LACL 2014: 107-121
• 
  Yusuke Kubota, Robert Levine:
  Pseudogapping as Pseudo-VP Ellipsis. LACL 2014: 122-137
• 
  Georgiana E. Lungu, Zhaohui Luo:
  Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. LACL 2014: 138-148
• 
  Zhaohui Luo:
  Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? LACL 2014: 177-188
• 
  Glyn Morrill, Oriol Valentín:
  Semantically Inactive Multiplicatives and Words as Types. LACL 2014: 149-162
• 
  Richard Zuber:
  Generalising Predicate and Argument Invariance. LACL 2014: 163-176
• 
  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 [contents]