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

• 1980
• 
  Allan G. Bromley:
  Memory Fragmentation in Buddy Methods for Dynamic Storage Allocation. Acta Informatica 14: 107-117 (1980)
• 
  Marco A. Casanova, Philip A. Bernstein:
  General Purpose Schedulers for Database Systems. Acta Informatica 14: 195-220 (1980)
• 
  Beate Commentz-Walter, Jürgen Sattler:
  Size-depht Tradeoff in Non-monotone Boolean Formulae. Acta Informatica 14: 257-269 (1980)
• 
  Carla Schlatter Ellis:
  Concurrent Search and Insertion in 2-3 Trees. Acta Informatica 14: 63-86 (1980)
• 
  Zvi Galil:
  An O(V5/3 E2/3) Algorithm for the Maximal Flow Problem. Acta Informatica 14: 221-242 (1980)
• 
  Rainer Kemp:
  A Note on the Density of Inherently Ambiguous Context-free Languages. Acta Informatica 14: 295-298 (1980)
• 
  Fred Kröger:
  Infinite Proof Rules for Loops. Acta Informatica 14: 371-389 (1980)
• 
  Leslie Lamport:
  The 'Hoare Logic' of Concurrent Programs. Acta Informatica 14: 21-37 (1980)
• 
  Karl-Rudolf Moll:
  Left Context Precedence Grammars. Acta Informatica 14: 317-335 (1980)
• 
  Reiji Nakajima, Michio Honda, Hayao Nakahara:
  Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Informatica 14: 135-155 (1980)
• 
  Anton Nijholt:
  A Survey of Normal Form Covers for Context Free Grammars. Acta Informatica 14: 271-294 (1980)
• 
  Hirokazu Nishimura:
  Descriptively Complete Process Logic. Acta Informatica 14: 359-369 (1980)
• 
  Wolfgang J. Paul, Ernst-Jürgen Prauß, Rüdiger Reischuk:
  On Alternation. Acta Informatica 14: 243-255 (1980)
• 
  Wolfgang J. Paul, Rüdiger Reischuk:
  On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism. Acta Informatica 14: 391-403 (1980)
• 
  Reiner Philipp, Ernst-Jürgen Prauß:
  Über Separatoren in planaren Graphen. Acta Informatica 14: 87-106 (1980)
• 
  Brigitte Plateau:
  Evaluation des Performances d'un Algorithme de Controle de la Cohérence d'une Base de Données Répartie. Acta Informatica 14: 39-62 (1980)
• 
  Paul Walton Purdom Jr., Cynthia A. Brown:
  Semantic Routines and LR(k) Parsers. Acta Informatica 14: 299-315 (1980)
• 
  Bruce Russell:
  Correctness of the Compiling Process Based on Axiomatic Semantics. Acta Informatica 14: 1-20 (1980)
• 
  Eljas Soisalon-Soininen:
  On the Space Optimizing Effect of Eliminating Single Productions from LR Parsers. Acta Informatica 14: 157-174 (1980)
• 
  Vijay K. Vaishnavi, Hans-Peter Kriegel, Derick Wood:
  Optimum Multiway Search Trees. Acta Informatica 14: 119-133 (1980)
• 
  Mitchell Wand:
  First-Order Identities as a Defining Language. Acta Informatica 14: 337-357 (1980)
• 
  Lutz Michael Wegner:
  On Parsing Two-Level Grammars. Acta Informatica 14: 175-193 (1980)