Volume 19, 1983
- H. T. Kung, Christos H. Papadimitriou:
An Optimality Theory of Concurrency Control for Databases.
1-11
- Takao Tsuda, Takashi Sato:
Transposition of Large Tabular Data Structures with Applications to Physical Database Organization.
13-33
- Klaus Küspert:
Storage Utilization in B*-Trees with a Generalized Overflow Technique.
35-55
- Richard N. Taylor:
Complexity of Analyzing the Synchronization Structure of Concurrent Programs.
57-84
- Kazuo Iwama:
The Universe Problem for Unrestricted Flow Languages.
85-96
- Jan A. Bergstra, J. Terlouw:
Standard Model Semantics for DSL A Data Type Specification Language.
97-113
- Gilberto Filé:
Interpretation and Reduction of Attribute Grammars.
115-150
- Günther E. Pfaff:
The Construction of Operator Interfaces Based on Logical Input Devices.
151-166
- Takao Tsuda, Akira Urano, Takashi Sato:
Transposition of Large Tabular Data Structures with Applications to Physical Database Organization.
167-182
- Ute Schürfeld:
New Lower Bounds on the Formula Size of Boolean Functions.
183-194
- Jean-Pierre Queille, Joseph Sifakis:
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
195-220
- John P. Kearns, Mary Lou Soffa:
The Implementation of Retention in a Coroutine Environment.
221-233
- Gregor Engels, Udo Pletat, Hans-Dieter Ehrich:
An Operational Semantics for Specifications of Abstract Data Types with Error Handling.
235-253
- Hanne Riis Nielson:
Computation Sequences: A Way to Characterize Classes of Attribute Grammars.
255-268
- Friedhelm Meyer auf der Heide:
Efficiency of Universal Parallel Computers.
269-296
- Alfred Schmitt:
On the Number of Relational Operators Necessary to Compute Certain Functions of Real Variables.
297-304
- Moshe Y. Vardi:
Inferring Multivalued Dependencies From Functional and Join Dependencies.
305-324
- Ichiro Suzuki, Tadao Kasami:
Three Measures for Synchronic Dependence in Petri Nets.
325-338
- M. A. El-Affendi, Demetres D. Kouvatsos:
A Maximum Entropy Analysis of the M/G/ 1 and G/M/ 1 Queueing Systems at Equilibrium.
339-355
- Keijo Ruohonen:
On Some Variants of Post's Correspondence Problem.
357-367
- Rakesh Agrawal, Keith D. Detro:
An Efficient Incremental LR Parser for Grammars With Epsilon Productions.
369-376
- Juraj Hromkovic:
On-Way Multihead Deterministic Finite Automata.
377-384
- Peter Klein, Friedhelm Meyer auf der Heide:
A Lower Time Bound for the Knapsack Problem on Random Access Machines.
385-395
- R. Sommerhalder, S. C. van Westrhenen:
Parallel Language Recognition in Constant Time by Cellular Automata.
397-407
Copyright © Sat Nov 28 22:25:26 2009
by Michael Ley (ley@uni-trier.de)
