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

• 2006
• 
  Mohua Banerjee:
  Logic for Rough Truth. Fundam. Informaticae 71(2-3): 139-151 (2006)
• 
  Jan A. Bergstra, Cornelis A. Middelburg:
  Thread Algebra with Multi-Level Strategies. Fundam. Informaticae 71(2-3): 153-182 (2006)
• 
  Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, Nicola Leone:
  Pruning Operators for Disjunctive Logic Programming Systems. Fundam. Informaticae 71(2-3): 183-214 (2006)
• 
  Gregory J. Chaitin:
  Probability and Program-Size for Functions. Fundam. Informaticae 71(4): 367-370 (2006)
• 
  Chin-Chen Chang, Guei-Mei Chen, Yu-Chen Hu:
  A Novel Index Coding Scheme for Vector Quantization. Fundam. Informaticae 71(2-3): 215-227 (2006)
• 
  Henning Christiansen, Davide Martinenghi:
  On Simplification of Database Integrity Constraints. Fundam. Informaticae 71(4): 371-417 (2006)
• 
  Jurek Czyzowicz, Dariusz R. Kowalski, Euripides Markou, Andrzej Pelc:
  Complexity of Searching for a Black Hole. Fundam. Informaticae 71(2-3): 229-242 (2006)
• 
  Mariusz Flasinski, Janusz Jurek:
  On the Analysis of Fuzzy String Patterns with the Help of Extended and Stochastic GDPLL(k) Grammars. Fundam. Informaticae 71(1): 1-14 (2006)
• 
  Mariusz Flasinski, Edward Nawarecki, Lech Polkowski, Robert Schaefer, Jerzy Stefanowski, Zbigniew Suraj:
  Preface. Fundam. Informaticae 71(1) (2006)
• 
  Marek Grochowski, Robert Schaefer, Maciej Smolka:
  Architectural Principles and Scheduling Strategies for Computing Agent Systems. Fundam. Informaticae 71(1): 15-26 (2006)
• 
  Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
  Resource-Constrained Workflow Nets. Fundam. Informaticae 71(2-3): 243-257 (2006)
• 
  Costas S. Iliopoulos, Christos Makris, Yannis Panagis, Katerina Perdikuri, Evangelos Theodoridis, Athanasios K. Tsakalidis:
  The Weighted Suffix Tree: An Efficient Data Structure for Handling Molecular Weighted Sequences and its Applications. Fundam. Informaticae 71(2-3): 259-277 (2006)
• 
  Mihai Ionescu, Gheorghe Paun, Takashi Yokomori:
  Spiking Neural P Systems. Fundam. Informaticae 71(2-3): 279-308 (2006)
• 
  Norihiro Kamide:
  Foundations of Paraconsistent Resolution. Fundam. Informaticae 71(4): 419-441 (2006)
• 
  Lila Kari, Elena Losseva, Stavros Konstantinidis, Petr Sosík, Gabriel Thierrin:
  A Formal Language Analysis of DNA Hairpin Structures. Fundam. Informaticae 71(4): 453-475 (2006)
• 
  Jaroslaw Kozlak, Jean-Charles Créput, Vincent Hilaire, Abder Koukam:
  Multi-agent Approach to Dynamic Pick-up and Delivery Problem with Uncertain Knowledge about Future Transport Demands. Fundam. Informaticae 71(1): 27-36 (2006)
• 
  Chia-Chen Lin, Yu-Chen Hu, Chin-Chen Chang:
  A Novel Image Ownership Protection Scheme Based on Rehashing Concept and Vector Quantization. Fundam. Informaticae 71(4): 443-451 (2006)
• 
  Karel De Loof, Hans E. De Meyer, Bernard De Baets:
  Exploiting the Lattice of Ideals Representation of a Poset. Fundam. Informaticae 71(2-3): 309-321 (2006)
• 
  Edward Nawarecki, Marek Kisiel-Dorohinicki, Grzegorz Dobrowolski:
  Architecture for Discovery of Crises in MAS. Fundam. Informaticae 71(1): 37-47 (2006)
• 
  James F. Peters, Christopher J. Henry:
  Reinforcement Learning with Approximation Spaces. Fundam. Informaticae 71(2-3): 323-349 (2006)
• 
  Lech Polkowski:
  A Set Theory for Rough Sets. Toward A Formal Calculus of Vague Statements. Fundam. Informaticae 71(1): 49-61 (2006)
• 
  Jerzy Stefanowski:
  An Empirical Study of Using Rule Induction and Rough Sets to Software Cost Estimation. Fundam. Informaticae 71(1): 63-82 (2006)
• 
  Zbigniew Suraj, Barbara Fryc:
  Timed Approximate Petri Nets. Fundam. Informaticae 71(1): 83-99 (2006)
• 
  Zbigniew Suraj, Barbara Fryc, Zofia Matusiewicz, Krzysztof Pancerz:
  A Petri Net System - an Overview. Fundam. Informaticae 71(1): 101-120 (2006)
• 
  Zbigniew Suraj, Krzysztof Pancerz:
  Reconstruction of Concurrent System Models Described by Decomposed Data Tables. Fundam. Informaticae 71(1): 121-137 (2006)
• 
  Michael Winter:
  On Problems in Polymorphic Object-Oriented Languages With Self Types and Matching. Fundam. Informaticae 71(4): 477-491 (2006)
• 
  Ming-Ni Wu, Chia-Chen Lin, Chin-Chen Chang:
  A Robust Content-Based Copy Detection Scheme. Fundam. Informaticae 71(2-3): 351-366 (2006)
• 
  Sheng Zhong:
  An Efficient and Secure Cryptosystem for Encrypting Long Messages. Fundam. Informaticae 71(4): 493-497 (2006)