• 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 27 matches

• 2007
• 
  Joachim Baran, Howard Barringer:
  A Grammatical Representation of Visibly Pushdown Languages. WoLLIC 2007: 1-11
• 
  Denis Béchet, Annie Foret:
  Fully Lexicalized Pregroup Grammars. WoLLIC 2007: 12-25
• 
  Benjamín R. C. Bedregal, Roberto Callejas-Bedregal, Hélida S. Santos:
  Bounded Lattice T-Norms as an Interval Category. WoLLIC 2007: 26-37
• 
  Hicham Bensaid, Ricardo Caferra, Nicolas Peltier:
  Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52
• 
  Raffaella Bernardi, Michael Moortgat:
  Continuation Semantics for Symmetric Categorial Grammar. WoLLIC 2007: 53-71
• 
  Ryan Bissell-Siders:
  Ehrenfeucht-Fraïssé Games on Linear Orders. WoLLIC 2007: 72-82
• 
  Thomas Bolander, René Rydhof Hansen:
  Hybrid Logical Analyses of the Ambient Calculus. WoLLIC 2007: 83-100
• 
  Adrian Brasoveanu:
  Structured Anaphora to Quantifier Domains: A Unified Account of Quantificational and Modal Subordination. WoLLIC 2007: 101-119
• 
  Sabine Broda, Luís Damas:
  On Principal Types of BCK- lambda -Terms. WoLLIC 2007: 120-130
• 
  Alexander Ja. Dikovsky:
  A Finite-State Functional Grammar Architecture. WoLLIC 2007: 131-146
• 
  Annie Foret:
  Pregroup Calculus as a Logic Functor. WoLLIC 2007: 147-161
• 
  Murdoch Gabbay, Aad Mathijssen:
  A Formal Calculus for Informal Equality with Binding. WoLLIC 2007: 162-176
• 
  André Luiz Galdino, César A. Muñoz, Mauricio Ayala-Rincón:
  Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm. WoLLIC 2007: 177-188
• 
  Philippa Gardner, Uri Zarfaty:
  An Introduction to Context Logic. WoLLIC 2007: 189-202
• 
  Sven Hartmann, Sebastian Link:
  Numerical Constraints for XML. WoLLIC 2007: 203-217
• 
  André Hirschowitz, Marco Maggesi:
  Modules over Monads and Linearity. WoLLIC 2007: 218-237
• 
  Ariya Isihara:
  Hydra Games and Tree Ordinals. WoLLIC 2007: 238-247
• 
  Louis H. Kauffman, Samuel J. Lomonaco:
  Spin Networks, Quantum Topology and Quantum Computation. WoLLIC 2007: 248-263
• 
  Michael Moortgat:
  Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. WoLLIC 2007: 264-284
• 
  Paulo Oliva:
  Computational Interpretations of Classical Linear Logic. WoLLIC 2007: 285-296
• 
  John H. Reif, Thomas H. LaBean:
  Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. WoLLIC 2007: 297-306
• 
  Renata Hax Sander Reiser, Graçaliz Pereira Dimuro, Benjamín R. C. Bedregal, Regivan Hugo Nunes Santiago:
  Interval Valued QL-Implications. WoLLIC 2007: 307-321
• 
  Alexandra Silva, Jan J. M. M. Rutten:
  Behavioural Differential Equations and Coinduction for Binary Trees. WoLLIC 2007: 322-336
• 
  Kim Solin:
  A Sketch of a Dynamic Epistemic Semiring. WoLLIC 2007: 337-350
• 
  Yde Venema:
  A Modal Distributive Law (abstract). WoLLIC 2007: 351
• 
  Marcos Villagra, Benjamín Barán:
  Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. WoLLIC 2007: 352-361
• 
  Daniel Leivant, Ruy J. G. B. de Queiroz:
  Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science 4576, Springer 2007, ISBN 978-3-540-73443-7 [contents]