• 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

• 2016
• 
  John T. Baldwin:
  Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. WoLLIC 2016: 68-82
• 
  Zhe Lin, Minghui Ma:
  On the Complexity of the Equational Theory of Residuated Boolean Algebras. WoLLIC 2016: 265-278
• 
  Beniamino Accattoli:
  The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. WoLLIC 2016: 1-21
• 
  Juan P. Aguilera:
  Compactness in Infinitary Gödel Logics. WoLLIC 2016: 22-35
• 
  Juan P. Aguilera, Matthias Baaz:
  Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC 2016: 36-51
• 
  Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard:
  A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC 2016: 52-67
• 
  Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets:
  Justified Belief and the Topology of Evidence. WoLLIC 2016: 83-103
• 
  Pablo Barceló:
  Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. WoLLIC 2016: 104-108
• 
  Marta Bílková, Matej Dostál:
  Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC 2016: 109-124
• 
  Torben Braüner, Patrick Blackburn, Irina Polyanskaya:
  Second-Order False-Belief Tasks: Analysis and Formalization. WoLLIC 2016: 125-144
• 
  Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg:
  Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC 2016: 145-164
• 
  Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen:
  A Logical Approach to Context-Specific Independence. WoLLIC 2016: 165-182
• 
  Anuj Dawar, Simone Severini, Octavio Zapata:
  Descriptive Complexity of Graph Spectra. WoLLIC 2016: 183-199
• 
  Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang:
  A Multi-type Calculus for Inquisitive Logic. WoLLIC 2016: 215-233
• 
  Anselm Haak, Heribert Vollmer:
  A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. WoLLIC 2016: 234-248
• 
  Ozan Kahramanogullari:
  True Concurrency of Deep Inference Proofs. WoLLIC 2016: 249-264
• 
  Johann A. Makowsky, Elena V. Ravve:
  Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. WoLLIC 2016: 279-296
• 
  Maicol A. Ochoa, Andrés Villaveces:
  Sheaves of Metric Structures. WoLLIC 2016: 297-315
• 
  Mateus de Oliveira Oliveira:
  Causality in Bounded Petri Nets is MSO Definable. WoLLIC 2016: 200-214
• 
  Konstantinos Pouliasis:
  A Curry-Howard View of Basic Justification Logic. WoLLIC 2016: 316-337
• 
  Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
  On the Formalization of Some Results of Context-Free Language Theory. WoLLIC 2016: 338-357
• 
  Raine Rönnholm:
  The Expressive Power of k-ary Exclusion Logic. WoLLIC 2016: 375-391
• 
  Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu:
  The Semantics of Corrections. WoLLIC 2016: 358-374
• 
  Katsuhiko Sano, Jonni Virtema:
  Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. WoLLIC 2016: 392-409
• 
  Fan Yang:
  Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. WoLLIC 2016: 410-431
• 
  Richard Zuber:
  Anaphors and Quantifiers. WoLLIC 2016: 432-445
• 
  Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz:
  Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Lecture Notes in Computer Science 9803, Springer 2016, ISBN 978-3-662-52920-1 [contents]