Acta Informatica, Volume 27
Volume 27, Number 1, November 1989
Volume 27, Number 2, November 1989
- Chua-Huang Huang, Christian Lengauer:
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. 97-124
Volume 27, Number 3, January 1990
- Demetres D. Kouvatsos, Nasreddine Tabet-Aouel:
A Maximum Entropy Priority Approximation for a Stable G/G/ 1 Queue. 247-286
Volume 27, Number 4, March 1990
- Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. 315-342 - Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems. 343-368 - Lawrence T. Kou:
On Efficient Implementation of an Approximation Algorithm for the Steiner Tree Problem. 369-380
Volume 27, Number 5, April 1990
- John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency. 381-397 - Mark H. Overmars, Michiel H. M. Smid, Mark de Berg, Marc J. van Kreveld:
Maintaining Range Trees in Secondary Memory. Part I: Partitions. 423-452 - Michiel H. M. Smid, Mark H. Overmars:
Maintaining Range Trees in Secondary Memory. Part II: Lower Bounds. 453-480
Volume 27, Number 6, May 1990
- Harald Søndergaard, Peter Sestoft:
Referential Transparency, Definiteness and Unfoldability. 505-517
Volume 27, Number 7, July 1990
- Ralph-Johan Back, Joakim von Wright:
Duality in Specification Languages: A Lattice-Theoretical Approach. 583-625 - A. Michael Berman, Marvin C. Paull, Barbara G. Ryder:
Proving Relative Lower Bounds for Incremental Algorithms. 665-683