default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa 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
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.
last updated on 2024-12-16 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
