Volume 32,
1984
- Jean-Claude Raoult:
On Graph Rewritings.
1-24 BibTeX
- Nissim Francez, Daniel J. Lehmann, Amir Pnueli:
A Linear-History Semantics for Languages for Distributed Programming.
25-46 BibTeX
- Jürgen Duske, Rainer Parchmann:
Linear Indexed Languages.
47-60 BibTeX
- Jürgen Avenhaus, Klaus Madlener:
The Nielsen Reduction and P-Complete Problems in Free Groups.
61-76 BibTeX
- Francis Y. L. Chin, Peter Kossowski, S. C. Loh:
Efficient Inference Control for Range SUM Queries.
77-86 BibTeX
- Etsuji Tomita:
An Extended Direct Branching Algorithm for Checking Equivalence of Deterministic Pushdown Automata.
87-120 BibTeX
- Egidio Astesiano, Gerardo Costa:
Distributive Semantics for Nondeterministic Typed lambda-Calculi.
121-156 BibTeX
- Uzi Vishkin:
A Parallel-Design Distributed-Implementation (PDDI) General-Purpose Computer.
157-172 BibTeX
- Ken McAloon:
Petri Nets and Large Finite Sets.
173-183 BibTeX
- David Maier, Jeffrey D. Ullman:
Connections in Acyclic Hypergraphs.
185-199 BibTeX
- T. E. Hall:
Biprefix Codes, Inverse Semigroups and Syntactic Monoids of Injective Automata.
201-213 BibTeX
- Roy Meshulam:
A Geometric Construction of a Superconcentrator of Depth 2.
215-219 BibTeX
- Jia-Wei Hong:
A Tradeoff Theorem for Space and Reversal.
221-224 BibTeX
- Karel Culik II, Sheng Yu:
Iterative Tree Automata.
227-247 BibTeX
- Friedrich Otto:
Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group.
249-260 BibTeX
- Valtteri Niemi:
The Undecidability of Form Equivalence for Context-Free and E0L Forms.
261-277 BibTeX
- Jürgen Avenhaus, Klaus Madlener:
On the Complexity of Intersection and Conjugacy Problems in Free Groups.
279-295 BibTeX
- Jussi Ketonen, Richard W. Weyhrauch:
A Decidable Fragment of Predicate Calculus.
297-307 BibTeX
- N. G. de Bruijn:
Some Machines Defined bu Directed Graphs.
309-319 BibTeX
- Satoru Miyano, Takeshi Hayashi:
Alternating Finite Automata on omega-Words.
321-330 BibTeX
- Ludwig Staiger:
Projection Lemmas for omega-Languages.
331-337 BibTeX
- Gérard Jacob, Christophe Reutenauer:
On Formal Power Series Defined by Infinite Linear Systems.
339-340 BibTeX
Copyright © Sun May 17 00:23:51 2009
by Michael Ley (ley@uni-trier.de)
