Volume 174,
Numbers 1-2,
15 March 1997
- Igor Litovsky, Ludwig Staiger:
Finite Acceptance of Infinite Words.
1-21
Electronic Edition (link) BibTeX
- Madhav V. Marathe, Venkatesh Radhakrishnan, Harry B. Hunt III, S. S. Ravi:
Hierarchically Specified Unit Disk Graphs.
23-65
Electronic Edition (link) BibTeX
- Felipe Bracho, Manfred Droste, Dietrich Kuske:
Representation of Computations in Concurrent Automata by Dependence Orders.
67-96
Electronic Edition (link) BibTeX
- Sanjeev Arora, Ronald Fagin:
On Winning Strategies in Ehrenfeucht-Fraïssé Games.
97-121
Electronic Edition (link) BibTeX
- Pekka Orponen:
Computing with Truly Asynchronous Threshold Logic Networks.
123-136
Electronic Edition (link) BibTeX
- Matthias Krause, Pavel Pudlák:
On the Computational Power of Depth-2 Circuits with Threshold and Modulo Gates.
137-156
Electronic Edition (link) BibTeX
- Paola Favati, Grazia Lotti, Luciano Margara:
Additive One-Dimensional Cellular Automata are Chaotic According to Devaney's Definition of Chaos.
157-170
Electronic Edition (link) BibTeX
- Marie-Line Santini-Bouchard:
Echanges de trois intervalles et suites minimales.
171-191
Electronic Edition (link) BibTeX
- Piotr Berman, Andrzej Lingas:
A Nearly Optimal Parallel Algorithm for the Voronoi Diagram of a Convex Polygon.
193-202
Electronic Edition (link) BibTeX
- Petr Kurka:
On Topological Dynamics of Turing Machines.
203-216
Electronic Edition (link) BibTeX
- Alain Finkel, Pierre McKenzie:
Verifying Identical Communicating Processes is Undecidable.
217-230
Electronic Edition (link) BibTeX
- John Mullins:
On an Effective Hierarchy of Communicating Processes: Separation Principle and Testing.
231-246
Electronic Edition (link) BibTeX
- Yohei Yamasaki:
The Arithmetic of Reversed Positional Games.
247-249
Electronic Edition (link) BibTeX
- Satoshi Kobayashi, Takashi Yokomori:
Learning Approximately Regular Languages with Reversible Languages.
251-257
Electronic Edition (link) BibTeX
- Nobuyuki Takahashi:
Various Hierarchies of omega-regular Sets.
259-268
Electronic Edition (link) BibTeX
- Paavo Turakainen:
The Undecidability of Some Equivalence Problems Concerning NGSM's and Finite Substitutions.
269-274
Electronic Edition (link) BibTeX
- Guo-Qiang Zhang, E. Rodney Canfield:
The End of Pumping?
275-279
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:22 2009
by Michael Ley (ley@uni-trier.de)