Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 174; Issue 1-2

Theoretical Computer Science

Volume 174; Issue 1-2
1

Additive one-dimensional cellular automata are chaotic according to Devaney's definition of chaos

Paola Favati, Grazia Lotti, Luciano Margara
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 897 KB
english, 1997
2

Finite acceptance of infinite words

Igor Litovsky, Ludwig Staiger
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 1.37 MB
english, 1997
3

Hierarchically specified unit disk graphs

Madhav V. Marathe, Venkatesh Radhakrishnan, Harry B. Hunt III, S.S. Ravi
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.87 MB
english, 1997
4

Representation of computations in concurrent automata by dependence orders

Felipe Bracho, Manfred Droste, Dietrich Kuske
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.12 MB
english, 1997
5

On winning strategies in Ehrenfeucht-Fraïssé games

Sanjeev Arora, Ronald Fagin
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 2.00 MB
english, 1997
6

Computing with truly asynchronous threshold logic networks

Pekka Orponen
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 946 KB
english, 1997
7

On the computational power of depth-2 circuits with threshold and modulo gates

Matthias Krause, Pavel Pudlák
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 1.29 MB
english, 1997
8

Echanges de trois intervalles et suites minimales

Marie-Line Santini-Bouchard
Журнал:
Theoretical Computer Science
Рік:
1997
Файл:
PDF, 1.29 MB
1997
9

A nearly optimal parallel algorithm for the Voronoi diagram of a convex polygon

Piotr Berman, Andrzej Lingas
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 756 KB
english, 1997
10

On topological dynamics of Turing machines

Petr Kůrka
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 874 KB
english, 1997
11

Verifying identical communicating processes is undecidable

Alain Finkel, Pierre McKenzie
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 932 KB
english, 1997
12

On an effective hierarchy of communicating processes: Separation principle and testing

John Mullins
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 1.16 MB
english, 1997
13

The arithmetic of reversed positional games

Yõhei Yamasaki
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 190 KB
english, 1997
14

Learning approximately regular languages with reversible languages

Satoshi Kobayashi, Takashi Yokomori
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 490 KB
english, 1997
15

Various hierarchies of ω-regular sets

Nobuyuki Takahashi
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 582 KB
english, 1997
16

The undecidability of some equivalence problems concerning ngsm's and finite substitutions

P. Turakainen
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 437 KB
english, 1997
17

The end of pumping?

Guo-Qiang Zhang, E.Rodney Canfield
Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 360 KB
english, 1997
18

Author index volume 174 (1997)

Журнал:
Theoretical Computer Science
Рік:
1997
Мова:
english
Файл:
PDF, 61 KB
english, 1997
19

Editorial Board

Журнал:
Theoretical Computer Science
Рік:
1997
Файл:
PDF, 314 KB
1997