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

• 1988
• 
  Ralph-Johan Back:
  A Calculus of Refinements for Program Derivations. Acta Informatica 25(6): 593-624 (1988)
• 
  Friedrich L. Bauer, Martin Wirsing:
  Crypt-Equivalent Algebraic Specifications. Acta Informatica 25(2): 111-153 (1988)
• 
  Andrzej Biela:
  Program-Substitution and Admissibility of Rules in Algorithmic Logic. Acta Informatica 25(4): 439-473 (1988)
• 
  Luc Bougé:
  On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. Acta Informatica 25(2): 179-201 (1988)
• 
  Edward P. F. Chan, Héctor J. Hernández:
  On Generating Database Schemes Bounded or Constant-time-maintainable by Extensibility. Acta Informatica 25(5): 475-496 (1988)
• 
  Andrzej Ehrenfeucht, Hendrik Jan Hoogeboom, Grzegorz Rozenberg:
  Recording the Use of Memory in Right-Boundary Grammars and Push-Down Automata. Acta Informatica 25(2): 203-231 (1988)
• 
  Joost Engelfriet, George Leih, Grzegorz Rozenberg:
  Apex Graph Grammars and Attribute Grammars. Acta Informatica 25(5): 537-571 (1988)
• 
  José Luiz Fiadeiro, Amílcar Sernadas:
  Specification and Verification of Database Dynamics. Acta Informatica 25(6): 625-661 (1988)
• 
  Alain Finkel, Annie Choquet:
  Fifo Nets Without Order Deadlock. Acta Informatica 25(1): 15-36 (1988)
• 
  Mahadevan Ganapathi, Charles N. Fischer:
  Integrating Code Generation and Peephole Optimization. Acta Informatica 25(1): 85-109 (1988)
• 
  Robert Giegerich:
  Composition and Evaluation of Attribute Coupled Grammars. Acta Informatica 25(4): 355-423 (1988)
• 
  Eric C. R. Hehner, Andrew J. Malton:
  Termination Conventions and Comparative Semantics. Acta Informatica 25(1): 1-14 (1988)
• 
  Giorgio Levi, Catuscia Palamidessi:
  Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica 25(6): 691-711 (1988)
• 
  Zhang Ming-Hua:
  A Second Order Theory of Data Types. Acta Informatica 25(3): 283-303 (1988)
• 
  William P. R. Mitchell:
  Inductive Completion with Retracts. Acta Informatica 25(5): 497-514 (1988)
• 
  Paliath Narendran, Friedrich Otto:
  Elements of Finite Order for Finite Weight-Reducing and Confluent Thue Systems. Acta Informatica 25(5): 573-591 (1988)
• 
  Pavel Pudlák, Vojtech Rödl, Petr Savický:
  Graph Complexity. Acta Informatica 25(5): 515-535 (1988)
• 
  John H. Reif, Scott A. Smolka:
  The Complexity of Reachability in Distributed Communicating Processes. Acta Informatica 25(3): 333-354 (1988)
• 
  Thomas W. Reps:
  Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications. Acta Informatica 25(2): 155-178 (1988)
• 
  Donald Sannella, Andrzej Tarlecki:
  Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited. Acta Informatica 25(3): 233-281 (1988)
• 
  Ulf R. Schmerl:
  Resolution on Formula-Trees. Acta Informatica 25(4): 425-438 (1988)
• 
  Sheldon Shen:
  Cooperative Distributed Dynamic Load Balancing. Acta Informatica 25(6): 663-676 (1988)
• 
  Ann E. Kelley Sobel, Neelam Soundararajan:
  A Proof System for Distributed Processes. Acta Informatica 25(3): 305-332 (1988)
• 
  Satish K. Tripathi, David Finkel, Erol Gelenbe:
  Load Sharing in Distributed Systems with Failures. Acta Informatica 25(6): 677-689 (1988)
• 
  Athanasios K. Tsakalidis:
  The Nearest Common Ancestor in a Dynamic Tree. Acta Informatica 25(1): 37-54 (1988)
• 
  Victor Vianu:
  Database Survivability Under Dynamic Constraints. Acta Informatica 25(1): 55-84 (1988)