Volume 21, 1984
- Rudolf Bayer, Peter Schlichtiger:
Data Management Support for Database Management.
1-28 BibTeX
- N. P. Chapman:
LALR (1, 1) Parser Generation for Regular Right Part Grammars.
29-45 BibTeX
- Jayme Luiz Szwarcfiter:
Optimal Multiway Search Trees for Variable Size Keys.
47-60 BibTeX
- Matthew Hennessy:
Axiomatising Finite Delay Operators.
61-88 BibTeX
- Eike Best, Klaus Voss:
Free Choice Systems Have Home States.
89-100 BibTeX
- Athanasios K. Tsakalidis:
Maintaining Order in a Generalized Linked List.
101-112 BibTeX
- Shou-Hsuan Stephen Huang, C. K. Wong:
Generalized Binary Split Trees.
113-123 BibTeX
- Boris D. Lubachevsky:
An Approach to Automating the Verification of Compact Parallel Coordination Programs I.
125-169 BibTeX
- Norbert Blum, Martin Seysen:
Characterization of all Optimal Networks for a Simultaneous Computation of AND and NOR.
171-181 BibTeX
- Will D. Gillett:
On Binary Tree Encodements.
183-192 BibTeX
- Oscar H. Ibarra, Sam M. Kim:
A Characterization of Systolic Binary Tree Automata and Applications.
193-207 BibTeX
- Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire:
Bicentres de langages algébriques.
209-227 BibTeX
- Luc Devroye:
A Probabilistic Analysis of the Height of Tries and of the Complexity of Triesort.
229-237 BibTeX
- Richard S. Bird:
Using Circular Programs to Eliminate Multiple Traversals of Data.
239-250 BibTeX
- Howard Barringer, J. H. Cheng, Cliff B. Jones:
A Logic Covering Undefinedness in Program Proofs.
251-269 BibTeX
- Ralf Hartmut Güting:
Optimal Divide-and-Conquer to Compute Measure and Contour for a Set of Iso-Rectangles.
271-291 BibTeX
- Jan A. Bergstra, J. V. Tucker:
The Axiomatic Semantics of Programs Based on Hoare's Logic.
293-320 BibTeX
- Donald L. Iglehart, Gerald S. Shedler:
Simulation Output Analysis for Local Area Computer Networks.
321-338 BibTeX
- Kurt Mehlhorn, Uzi Vishkin:
Randomized and Deterministic Simulations of PRAMs by Parallel Machines with Restricted Granularity of Parallel Memories.
339-374 BibTeX
- Pierre Deransart, Martin Jourdan, Bernard Lorho:
Speeding up Circularity Tests for Attribute Grammars.
375-391 BibTeX
- Christian Choffrut, Karel Culik II:
On Real-Time Cellular Automata and Trellis Automata.
393-407 BibTeX
- Edward G. Coffman Jr., Michael A. Langston:
A Performance Guarantee for the Greedy Set-Partitioning Algorithm.
409-415 BibTeX
- Gerardo Costa, Colin Stirling:
A Fair Calculus of Communicating Systems.
417-441 BibTeX
- Donald Sannella:
A Set-Theoretic Semantics for Clear.
443-472 BibTeX
- Mikhail A. Bulyonkov:
Polyvariant Mixed Computation for Analyzer Programs.
473-484 BibTeX
- Clement H. C. Leung, Qui Hoon Choo:
The Paging Drum Queue: A Uniform Perspective and Further Results.
485-500 BibTeX
- Stefan Hertel, Martti Mäntylä, Kurt Mehlhorn, Jürg Nievergelt:
Space Sweep Solves Intersection of Convex Polyhedra.
501-519 BibTeX
- G. Bauer, Friedrich Otto:
Finite Complete Rewriting Systems and the Complexity of the Word Problem.
521-540 BibTeX
Volume 21, 1985
Copyright © Sat May 16 23:49:21 2009
by Michael Ley (ley@uni-trier.de)