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

• 2005
• 
  Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani:
  for Data: Differentiating Data Structures. Fundam. Informaticae 65(1-2): 1-28 (2005)
• 
  Roberto M. Amadio:
  Synthesis of max-plus quasi-interpretations. Fundam. Informaticae 65(1-2): 29-60 (2005)
• 
  Frédéric Blanqui:
  Inductive types in the Calculus of Algebraic Constructions. Fundam. Informaticae 65(1-2): 61-86 (2005)
• 
  Chi-Shiang Chan, Chin-Chen Chang:
  An Image Hiding Scheme Based on Multi-bit-reference Substitution Table Using Dynamic Programming Strategy. Fundam. Informaticae 65(4): 291-305 (2005)
• 
  Paolo Coppola, Simona Ronchi Della Rocca:
  Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Informaticae 65(1-2): 87-112 (2005)
• 
  Thierry Coquand, Randy Pollack, Makoto Takeyama:
  A Logical Framework with Dependently Typed Records. Fundam. Informaticae 65(1-2): 113-134 (2005)
• 
  Ernst-Erich Doberkat:
  Tracing Relations Probabilistically. Fundam. Informaticae 65(3): 193-209 (2005)
• 
  Hartmut Ehrig:
  Behaviour and Instantiation of High-Level Petri Net Processes. Fundam. Informaticae 65(3): 211-247 (2005)
• 
  Irina Georgescu:
  Revealed Preference, Congruence and Rationality: A Fuzzy Approach. Fundam. Informaticae 65(4): 307-328 (2005)
• 
  Martin Hofmann, Pawel Urzyczyn:
  Typed Lambda Calculi and Applications 2003, Selected Papers. Fundam. Informaticae 65(1-2) (2005)
• 
  Thierry Joly:
  On lambda-Definability I: the Fixed Model Problem and Generalizations of the Matching Problem. Fundam. Informaticae 65(1-2): 135-151 (2005)
• 
  Yoshihiko Kakutani, Masahito Hasegawa:
  Parameterizations and Fixed-Point Operators on Control Categories. Fundam. Informaticae 65(1-2): 153-172 (2005)
• 
  Jim Laird:
  Sequentiality in Bounded Biorders. Fundam. Informaticae 65(1-2): 173-191 (2005)
• 
  Sanjiang Li, Mingsheng Ying, Yongming Li:
  On countable RCC models. Fundam. Informaticae 65(4): 329-351 (2005)
• 
  Tzu-Chuen Lu, Chin-Chen Chang:
  Data Compressor for VQ Index Tables. Fundam. Informaticae 65(4): 353-371 (2005)
• 
  A. Mani:
  Super Rough Semantics. Fundam. Informaticae 65(3): 249-261 (2005)
• 
  Jerzy Mycka:
  Real Recursive Functions and Baire Classes. Fundam. Informaticae 65(3): 263-278 (2005)
• 
  Adrien Richard, Jean-Paul Comet, Gilles Bernot:
  R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. Fundam. Informaticae 65(4): 373-392 (2005)
• 
  Sergey Verlan, Maurice Margenstern:
  About Splicing P Systems with One Membrane. Fundam. Informaticae 65(3): 279-290 (2005)