![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Acta Informatica, Volume 19
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 - Mohammed Ahmed 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 - Rudolph Sommerhalder, S. Christian van Westrhenen:
Parallel Language Recognition in Constant Time by Cellular Automata. 397-407
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.