ask others

Acta Informatica, Volume 27

> Home > Journals > Acta Informatica

Volume 27, Number 1, November 1989

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Alblas89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Alblas89
Henk Alblas:
Iteration of Transformation Passes over Attributed Program Trees. 1-40
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/LangenhopW89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/LangenhopW89
Carl Langenhop, William E. Wright:
A Model of the Dynamic Behavior of B-Trees. 41-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/RuzickaP89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/RuzickaP89
Peter Ruzicka, Igor Prívara:
An Almost Linear Robinson Unification Algorithm. 61-71
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Lau89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Lau89
Kung-Kiu Lau:
A Note on Synthesis and Classification of Sorting Algorithms. 73-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/GonczarowskiW89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/GonczarowskiW89
Jakob Gonczarowski, Manfred K. Warmuth:
Scattered Versus Context-Sensitive Rewriting. 81-95

Volume 27, Number 2, November 1989

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/HuangL89a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/HuangL89a
Chua-Huang Huang, Christian Lengauer:
An Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem. 97-124
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/TaubnerV89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/TaubnerV89
Dirk Taubner, Walter Vogler:
Step Failures Semantics and a Complete Proof System. 125-156
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Rego89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Rego89
Vernon Rego:
Some Efficient Computational Algorithms Related to Phase Models. 157-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/CulikK89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/CulikK89
Karel Culik II, Juhani Karhumäki:
HDTOL Matching of Computations of Multitape Automata. 179-191

Volume 27, Number 3, January 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Bauer89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Bauer89
Friedrich L. Bauer:
In Memoriam: Andrei Petrovich Ershov. 193-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Salzberg89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Salzberg89
Betty Salzberg:
Merging Sorted Runs Using Large Main Memory. 195-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/SchmidtBZ89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/SchmidtBZ89
Gunther Schmidt, Rudolf Berghammer, Hans Zierer:
Describing Semantic Domains with Sprouts. 217-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/KouvatsosT89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/KouvatsosT89
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Morris89a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Morris89a
Joseph M. Morris:
Temporal Predicat Transformers and Fair Termination. 287-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/EhrenfeuchtR89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/EhrenfeuchtR89
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. 315-342
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/EhrenfeuchtR89a
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/EhrenfeuchtR89a
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems. 343-368
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Kou89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Kou89
Lawrence T. Kou:
On Efficient Implementation of an Approximation Algorithm for the Steiner Tree Problem. 369-380

Volume 27, Number 5, April 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/MeyerO89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/MeyerO89
John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency. 381-397
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Lautemann89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Lautemann89
Clemens Lautemann:
The Complexity of Graph Languages Generated by Hyperedge Replacement. 399-421
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/OvermarsSBK89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/OvermarsSBK89
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/SmidO89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/SmidO89
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/MorganG89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/MorganG89
Carroll Morgan, Paul H. B. Gardiner:
Data Refinement by Calculation. 481-503
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/SondergaardS89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/SondergaardS89
Harald Søndergaard, Peter Sestoft:
Referential Transparency, Definiteness and Unfoldability. 505-517
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/GelenbeH89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/GelenbeH89
Erol Gelenbe, Marisela Hernández:
Optimum Checkpoints with Age Dependent Failures. 519-531
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Taubner89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Taubner89
Dirk Taubner:
Representing CCS Programs by Finite Predicate/Transition Nets. 533-565
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/EngelfrietJ89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/EngelfrietJ89
Joost Engelfriet, Willem de Jong:
Attribute Storage Optimization by Stacks. 567-581

Volume 27, Number 7, July 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BackW89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/BackW89
Ralph-Johan Back, Joakim von Wright:
Duality in Specification Languages: A Lattice-Theoretical Approach. 583-625
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/YuR89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/YuR89
Lin Yu, Daniel J. Rosenkrantz:
Minimizing Time-Space Cost for Database Version Control. 627-663
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/BermanPR89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/BermanPR89
A. Michael Berman, Marvin C. Paull, Barbara G. Ryder:
Proving Relative Lower Bounds for Incremental Algorithms. 665-683

Volume 27, Number 8, September 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Turski89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Turski89
Wladyslaw M. Turski:
On Specification of Multiprocessor Computing. 685-696
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/GoudaHR89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/GoudaHR89
Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier:
The Instability of Self-Stabilization. 697-724
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Cleaveland89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Cleaveland89
Rance Cleaveland:
Tableau-Based Model Checking in the Propositional Mu-Calculus. 725-747
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Weber89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Weber89
Andreas Weber:
On the Valuedness of Finite Transducers. 749-780
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/acta/Meduna89
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/acta/Meduna89
Alexander Meduna:
Context Free Derivations on Word Monoids. 781-786