default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 10
Volume 10, 1978
- Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek:
Proof Rules for the Programming Language Euclid. 1-26 - John V. Guttag, James J. Horning:
The Algebraic Specification of Abstract Data Types. 27-52 - William E. Howden:
Algebraic Program Testing. 53-66 - Teuvo Laurinolli:
Bounded Quantification and Relations Recognizable by Finite Automata. 67-78 - Karel Culík II:
The Ultimate Equivalence Problem for DOL Systems. 79-84 - Carlo Montangero, Giuliano Pacini, Maria Simi, Franco Turini:
Information Management in Context Trees. 85-94 - Jane W.-S. Liu, C. L. Liu:
Performance Analysis of Multiprocessor Systems Containing Functionally Dedicated Processors. 95-104 - B. Bartsch, Gunter Bolch:
A Conservation Law for G/G/m Queueing Systems. 105-109 - Wolfgang J. Paul, Robert Endre Tarjan:
Time-Space Trade-Offs in a Pebble Game. 111-115 - Mordechai Ben-Ari:
Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. 117-125 - Viktor K. Sabelfeld:
Äquivalente Transformationen für Flußdiagramme. 127-155 - Peter J. L. Wallis:
The Design of a Portable Programming Language. 157-167 - Detlef Wotschke, Celia Wrathall:
A Note on Classes of Complements and the LBA Problem. 169-173 - Reinhold Franck:
A Class of Linearly Parsable Graph Grammars. 175-201 - Carlton J. Maxson:
Linear Regular Sets. 203-208 - Johan Lewi, Karel De Vlaminck, J. Huens, M. Huybrechts:
The ELL(1) Parser Generator and the Error Recovery Mechanism. 209-228 - Eric C. R. Hehner:
On Removing the Machine from the Language. 229-243 - Wayne A. Babich, Mehdi Jazayeri:
The Method of Attributes for Data Flow Analysis: Part I. Exhaustive Analysis. 245-264 - Wayne A. Babich, Mehdi Jazayeri:
The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis. 265-272 - David M. Choy, C. K. Wong:
Optimal alpha-beta Trees with Capacity Constraint. 273-296 - Joachim Biskup:
On the Complementation Rule for Multivalued Dependencies in Database Relations. 297-305 - Augusto Celentano
:
Incremental LR Parers. 307-321 - Robert Meersman, Grzegorz Rozenberg:
Two-Level Meta-Controlled Substitution Grammars. 323-339 - Lutz Eichner:
The Semigroups of Linearly Realizable Finite Automata I. 341-367 - Lutz Eichner:
The Semigroups of Linearly Realizable Finite Automata II. 369-390
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 2025-11-09 23:09 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:
