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

• 2002
• 
  David Delahaye:
  A Proof Dedicated Meta-Language. LFM 2002: 96-109
• 
  Pablo López, Ernesto Pimentel, Joshua S. Hodas, Jeffrey Polakow, Lubomira Stoilova:
  Isolating Resource Consumption in Linear Logic Proof Search. LFM 2002: 1-10
• 
  Alberto Momigliano, Simon Ambler, Roy L. Crole:
  A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. LFM 2002: 60-75
• 
  Frank Pfenning:
  Preface. LFM 2002: 146
• 
  Brigitte Pientka:
  Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype. LFM 2002: 110-123
• 
  Femke van Raamsdonk, Paula Severi:
  Eliminating Proofs from Programs. LFM 2002: 42-59
• 
  Ivan Scagnetto, Marino Miculan:
  Ambient Calculus and its Logic in the Calculus of Inductive Constructions. LFM 2002: 76-95
• 
  Carsten Schürmann, Serge Autexier:
  Towards Proof Planning for Mω⁺. LFM 2002: 124-145
• 
  Aaron Stump, Clark W. Barrett, David L. Dill:
  Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. LFM 2002: 29-41
• 
  Joseph Vanderwaart, Karl Crary:
  A Simplified Account of the Metatheory of Linear LF. LFM 2002: 11-28
• 
  Frank Pfenning:
  International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002. Electronic Notes in Theoretical Computer Science 70(2), Elsevier 2002 [contents]