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