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

• 2002
• 
  Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva:
  Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures. Lecture Notes in Computer Science 2395, Springer 2002, ISBN 3-540-44044-5 [contents]
• 2000
• 
  Gilles Barthe, Thierry Coquand:
  An Introduction to Dependent Type Theory. APPSEM 2000: 1-41
• 
  Nick Benton, John Hughes, Eugenio Moggi:
  Monads and Effects. APPSEM 2000: 42-122
• 
  Pierre-Louis Curien:
  Abstract Machines, Control, and Sequents. APPSEM 2000: 123-136
• 
  Peter Dybjer, Andrzej Filinski:
  Normalization and Partial Evaluation. APPSEM 2000: 137-192
• 
  Abbas Edalat, Reinhold Heckmann:
  Computing with Real Numbers. APPSEM 2000: 193-267
• 
  Cédric Fournet, Georges Gonthier:
  The Join Calculus: A Language for Distributed Mobile Programming. APPSEM 2000: 268-332
• 
  Martin Odersky:
  An Introduction to Functional Nets. APPSEM 2000: 333-377
• 
  Andrew M. Pitts:
  Operational Semantics and Program Equivalence. APPSEM 2000: 378-412
• 
  Didier Rémy:
  Using, Understanding, and Unraveling the OCaml Language. From Practice to Theory and Vice Versa. APPSEM 2000: 413-536