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

• 1993
• 
  Cristina Baroglio, Marco Botta, Attilio Giordana:
  Learning Relations: An Evaluation of Search Strategies. Fundam. Informaticae 18: 221-232 (1993)
• 
  Johan van Benthem:
  Modal Frame Classes Revisited. Fundam. Informaticae 18: 307-317 (1993)
• 
  Su-Shing Chen:
  Spatial Mental Models in Cognitive Systems. Fundam. Informaticae 18: 183-192 (1993)
• 
  Serge Garlatti:
  Default Logic Models of Certain Inheritance Systems with Exceptions. Fundam. Informaticae 18: 129-149 (1993)
• 
  Jerzy W. Grzymala-Busse:
  Selected Algorithms of Machine Learning from Examples. Fundam. Informaticae 18: 193-207 (1993)
• 
  Michael Hadjimichael, Anita Wasilewska:
  Application of a Rough Set-Based Inductive Learning System. Fundam. Informaticae 18: 209-220 (1993)
• 
  Lila Kari:
  Generalized Derivatives. Fundam. Informaticae 18: 27-39 (1993)
• 
  Henryk Jan Komorowski:
  A Prolegomenon to Partial Deduction. Fundam. Informaticae 18: 41-64 (1993)
• 
  Ivan Korec:
  Definability of Arithmetic Operations from the Order and a Random Relation. Fundam. Informaticae 18: 287-296 (1993)
• 
  Alexander Leitsch:
  Deciding Clause Classes by Semantic Clash Resolution. Fundam. Informaticae 18: 163-182 (1993)
• 
  Daniele Mundici:
  Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. Fundam. Informaticae 18: 151-161 (1993)
• 
  W. M. J. Ophelders, Harrie C. M. de Swart:
  Tableaux Versus Resolution a Comparison. Fundam. Informaticae 18: 109-127 (1993)
• 
  Piero Pagliani:
  From Concept Lattices to Approximation Spaces: Algebraic Structures of Some Spaces of Partial Objects. Fundam. Informaticae 18: 1-25 (1993)
• 
  Donald Perlis:
  Logic and Artificial Intelligence: A New Synthesis? Fundam. Informaticae 18: 297-305 (1993)
• 
  Maurizio Proietti, Alberto Pettorossi:
  An Abstract Strategy for Transforming Logic Programs. Fundam. Informaticae 18: 267-286 (1993)
• 
  Jordi Rebagliato, Ventura Verdú:
  On the Algebraization of Some Gentzen Systems. Fundam. Informaticae 18: 319-338 (1993)
• 
  Michael M. Richter:
  Some Recent Developments in the Representation and Processing of Knowledge. Fundam. Informaticae 18: 233-248 (1993)
• 
  Magnus Steinby:
  Recognizable and Rational Subsets of Algebras. Fundam. Informaticae 18: 249-266 (1993)
• 
  Iain A. Stewart:
  Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. Fundam. Informaticae 18: 65-92 (1993)
• 
  Iain A. Stewart:
  Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines. Fundam. Informaticae 18: 93-105 (1993)
• 
  Hugo Volger:
  Initial and Quasiinitial Models of Theories. Fundam. Informaticae 18: 339-362 (1993)