Volume 32, 1984
- Jean-Claude Raoult:
On Graph Rewritings.
1-24

- Nissim Francez, Daniel J. Lehmann, Amir Pnueli:
A Linear-History Semantics for Languages for Distributed Programming.
25-46

- Jürgen Duske, Rainer Parchmann:
Linear Indexed Languages.
47-60

- Jürgen Avenhaus, Klaus Madlener:
The Nielsen Reduction and P-Complete Problems in Free Groups.
61-76

- Francis Y. L. Chin, Peter Kossowski, S. C. Loh:
Efficient Inference Control for Range SUM Queries.
77-86

- Etsuji Tomita:
An Extended Direct Branching Algorithm for Checking Equivalence of Deterministic Pushdown Automata.
87-120

- Egidio Astesiano, Gerardo Costa:
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
121-156

- Uzi Vishkin:
A Parallel-Design Distributed-Implementation (PDDI) General-Purpose Computer.
157-172

- Ken McAloon:
Petri Nets and Large Finite Sets.
173-183

- David Maier, Jeffrey D. Ullman:
Connections in Acyclic Hypergraphs.
185-199

- T. E. Hall:
Biprefix Codes, Inverse Semigroups and Syntactic Monoids of Injective Automata.
201-213

- Roy Meshulam:
A Geometric Construction of a Superconcentrator of Depth 2.
215-219

- Jia-Wei Hong:
A Tradeoff Theorem for Space and Reversal.
221-224

- Karel Culik II, Sheng Yu:
Iterative Tree Automata.
227-247

- Friedrich Otto:
Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group.
249-260

- Valtteri Niemi:
The Undecidability of Form Equivalence for Context-Free and E0L Forms.
261-277

- Jürgen Avenhaus, Klaus Madlener:
On the Complexity of Intersection and Conjugacy Problems in Free Groups.
279-295

- Jussi Ketonen, Richard W. Weyhrauch:
A Decidable Fragment of Predicate Calculus.
297-307

- N. G. de Bruijn:
Some Machines Defined bu Directed Graphs.
309-319

- Satoru Miyano, Takeshi Hayashi:
Alternating Finite Automata on omega-Words.
321-330

- Ludwig Staiger:
Projection Lemmas for omega-Languages.
331-337

- Gérard Jacob, Christophe Reutenauer:
On Formal Power Series Defined by Infinite Linear Systems.
339-340

Last update Sat May 25 21:13:43 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page