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

• 2003
• 
  Andreas Abel, Ralph Matthes:
  Primitive Recursion for Rank-2 Inductive Types. FICS 2003: 1-3
• 
  André Arnold, Luigi Santocanale:
  On Ambiguous Classes in the mu-Calculus Hierarchy of Tree Languages. FICS 2003: 4-13
• 
  Vincent Danos, Josée Desharnais:
  A Fixpoint Logic for Labeled Markov Processes. FICS 2003: 14-18
• 
  Luís Dominguez:
  A Bisimilarity Logical Relation for the Object Calculus S. FICS 2003: 19-31
• 
  Neil Ghani, Tarmo Uustalu:
  Coproducts of Ideal Monads (Extended Abstract). FICS 2003: 32-36
• 
  Erich Grädel:
  Inflationary and Deflationary Fixed Points (Invited Talk). FICS 2003: 37-41
• 
  Martin Grohe:
  Monadic Datalog on Trees (Invited Talk). FICS 2003: 42-43
• 
  Claus Jürgensen:
  Monadic Fusion of Functional Programs. FICS 2003: 44-63
• 
  Eugenio Moggi, Amr Sabry:
  An Abstract Monadic Semantics for Value Recursion. FICS 2003: 64-79
• 
  Damian Niwinski:
  Hierarchies in mu-Calculus (Invited Talk). FICS 2003: 80
• 
  Tarmo Uustalu, Varmo Vene:
  An Alternative Characterization of Complete Iterativeness (Extended Abstract). FICS 2003: 81-83
• 
  Zoltán Ésik, Igor Walukiewicz:
  FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. University of Warsaw 2003 [contents]