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

• 2017
• 
  Nathanael L. Ackerman, Cameron E. Freer:
  Graph Turing Machines. WoLLIC 2017: 1-13
• 
  Fausto Barbero, Lauri Hella, Raine Rönnholm:
  Independence-Friendly Logic Without Henkin Quantification. WoLLIC 2017: 14-30
• 
  Arnold Beckmann, Jean-José Razafindrakoto:
  Total Search Problems in Bounded Arithmetic and Improved Witnessing. WoLLIC 2017: 31-47
• 
  Lev D. Beklemishev:
  On the Reflection Calculus with Partial Conservativity Operators. WoLLIC 2017: 48-67
• 
  Paola Bruscoli, Lutz Straßburger:
  On the Length of Medial-Switch-Mix Derivations. WoLLIC 2017: 68-79
• 
  Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden:
  Generalized Relations in Linguistics and Cognition. WoLLIC 2017: 256-270
• 
  Almudena Colacito, George Metcalfe:
  Proof Theory and Ordered Groups. WoLLIC 2017: 80-91
• 
  Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao:
  Constructive Canonicity for Lattice-Based Fixed Point Logics. WoLLIC 2017: 92-109
• 
  Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell:
  Non-commutative Logic for Compositional Distributional Semantics. WoLLIC 2017: 110-124
• 
  Flavio Ferrarotti, Senén González, José Maria Turull Torres:
  On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. WoLLIC 2017: 125-139
• 
  Michal Tomasz Godziszewski, Joel David Hamkins:
  Computable Quotient Presentations of Models of Arithmetic and Set Theory. WoLLIC 2017: 140-152
• 
  Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano:
  Multi-type Display Calculus for Semi De Morgan Logic. WoLLIC 2017: 199-215
• 
  Giuseppe Greco, Alessandra Palmigiano:
  Lattice Logic Properly Displayed. WoLLIC 2017: 153-169
• 
  Bjørn Kjos-Hanssen:
  Shift Registers Fool Finite Automata. WoLLIC 2017: 170-181
• 
  Stepan L. Kuznetsov:
  The Lambek Calculus with Iteration: Two Variants. WoLLIC 2017: 182-198
• 
  Zhaohui Luo, Sergei Soloviev:
  Dependent Event Types. WoLLIC 2017: 216-228
• 
  Ian Mackie:
  A Geometry of Interaction Machine for Gödel's System T. WoLLIC 2017: 229-241
• 
  Sérgio Marcelino, Carlos Caleiro:
  Disjoint Fibring of Non-deterministic Matrices. WoLLIC 2017: 242-255
• 
  Marcin Mostowski, Marek Czarnecki:
  Concrete Mathematics. Finitistic Approach to Foundations. WoLLIC 2017: 271-280
• 
  Fedor Pakhomov:
  Solovay's Completeness Without Fixed Points. WoLLIC 2017: 281-294
• 
  Rohit Parikh:
  An Epistemic Generalization of Rationalizability. WoLLIC 2017: 295-303
• 
  Nikolai L. Poliakov, Denis I. Saveliev:
  On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. WoLLIC 2017: 336-348
• 
  Vít Puncochár:
  Knowledge Is a Diamond. WoLLIC 2017: 304-320
• 
  Yury Savateev, Daniyar S. Shamkanov:
  Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. WoLLIC 2017: 321-335
• 
  Igor Sedlár:
  Substructural Logics with a Reflexive Transitive Closure Modality. WoLLIC 2017: 349-357
• 
  Daniyar S. Shamkanov:
  Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. WoLLIC 2017: 358-370
• 
  Gijs Jasper Wijnholds:
  Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. WoLLIC 2017: 371-386
• 
  Zhiguang Zhao:
  Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. WoLLIC 2017: 387-400
• 
  Juliette Kennedy, Ruy J. G. B. de Queiroz:
  Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Lecture Notes in Computer Science 10388, Springer 2017, ISBN 978-3-662-55385-5 [contents]