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
