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

• 2002
• 
  Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine:
  Comparing Calculi of Explicit Substitutions with Eta-reduction. WoLLIC 2002: 76-95
• 
  Benjamín René Callejas Bedregal, Ivanosca Andrade da Silva:
  Continuous Domains and their Information System Representation as Logical Systems. WoLLIC 2002: 96-115
• 
  Jean-Yves Béziau:
  Non Truth-Functional Many-Valuedness. WoLLIC 2002: 116-130
• 
  Ricardo Bianconi:
  Definability in o-minimal expansions of the real numbers. WoLLIC 2002: 1-6
• 
  Sabine Broda, Luís Damas:
  Studying provability in implicational intuitionistic logic the formula tree approach. WoLLIC 2002: 131-147
• 
  Arthur Buchsbaum:
  A Logic for Ambiguous Description. WoLLIC 2002: 148-165
• 
  Felipe Cucker:
  On sparseness and Turing reducibility over the reals. WoLLIC 2002: 7-14
• 
  Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti:
  Rank-Based Symbolic Bisimulation (and Model Checking). WoLLIC 2002: 166-183
• 
  Carlos H. C. Duarte, T. S. E. Maibaum:
  A Branching Time Logical System for Open Distributed Systems Development. WoLLIC 2002: 184-203
• 
  Renata P. de Freitas, Jorge Petrucio Viana:
  A Completeness Result for Relation Algebra with Binders. WoLLIC 2002: 204-217
• 
  Nikos Gorogiannis, Mark Ryan:
  Requirements, specifications, and minimal refinement. WoLLIC 2002: 218-232
• 
  Erich Grädel:
  Model Checking Games. WoLLIC 2002: 15-34
• 
  Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón:
  On automating the extraction of programs from proofs using product types. WoLLIC 2002: 233-253
• 
  Henry E. Kyburg Jr., Choh Man Teng:
  The Logic of Risky Knowledge. WoLLIC 2002: 254-262
• 
  Gopalan Nadathur:
  The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. WoLLIC 2002: 35-48
• 
  Norihiro Ogata:
  Dynamic Semantics of Plurals DPLQ*. WoLLIC 2002: 263-283
• 
  Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
  A logical approach to A-Prolog. WoLLIC 2002: 284-295
• 
  Rohit Parikh:
  States of Knowledge. WoLLIC 2002: 49-60
• 
  Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
  Preface: WoLLIC 2002. WoLLIC 2002: 313-314
• 
  Klaus-Dieter Schewe, Jose Maria Turull Torres:
  Computable Queries for Object Oriented Databases. WoLLIC 2002: 296-312
• 
  Igor Walukiewicz:
  Deciding low levels of tree-automata hierarchy. WoLLIC 2002: 61-75
• 
  Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
  9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 [contents]