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