• 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

• 2015
• 
  Vito Michele Abrusci, Roberto Maieli:
  Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing. WoLLIC 2015: 53-68
• 
  James M. Belk, Robert W. McGrail:
  The Word Problem for Finitely Presented Quandles is Undecidable. WoLLIC 2015: 1-13
• 
  Prasit Bhattacharya:
  The p-adic Integers as Final Coalgebra. WoLLIC 2015: 189-199
• 
  Liron Cohen, Robert L. Constable:
  Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language. WoLLIC 2015: 14-26
• 
  Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
  An Epistemic Separation Logic. WoLLIC 2015: 156-173
• 
  Jörg Endrullis, Lawrence S. Moss:
  Syllogistic Logic with "Most". WoLLIC 2015: 124-139
• 
  Zoltán Ésik:
  Equational Properties of Stratified Least Fixed Points (Extended Abstract). WoLLIC 2015: 174-188
• 
  Alessandro Facchini, Filip Murlak, Michal Skrzypczak:
  On the Weak Index Problem for Game Automata. WoLLIC 2015: 93-108
• 
  Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
  Parametric Polymorphism - Universally. WoLLIC 2015: 81-92
• 
  Philippe de Groote:
  Proof-Theoretic Aspects of the Lambek-Grishin Calculus. WoLLIC 2015: 109-123
• 
  Ronald de Haan, Jakub Szymanik:
  A Dichotomy Result for Ramsey Quantifiers. WoLLIC 2015: 69-80
• 
  Bernhard Heinemann:
  On Topologically Relevant Fragments of the Logic of Linear Flows of Time. WoLLIC 2015: 27-37
• 
  Andreia Mordido, Carlos Caleiro:
  An Equation-Based Classical Logic. WoLLIC 2015: 38-52
• 
  Katsuhiko Sano, Jonni Virtema:
  Characterizing Frame Definability in Team Semantics via the Universal Modality. WoLLIC 2015: 140-155
• 
  Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira:
  Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Lecture Notes in Computer Science 9160, Springer 2015, ISBN 978-3-662-47708-3 [contents]