Volume 376; Issue 1-2

Theoretical Computer Science

Volume 376; Issue 1-2
1

Events and modules in reaction systems

A. Ehrenfeucht, G. Rozenberg
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 685 KB
english, 2007
2

Can abstract state machines be useful in language theory?

Yuri Gurevich, Margus Veanes, Charles Wallace
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 217 KB
english, 2007
3

Synchronizing automata with a letter of deficiency 2

D.S. Ananichev, M.V. Volkov, Yu.I. Zaks
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 285 KB
english, 2007
4

Equivalence of simple functions

Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 292 KB
english, 2007
5

The growth ratio of synchronous rational relations is unique

Olivier Carton
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 197 KB
english, 2007
6

On the existence of prime decompositions

Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 268 KB
english, 2007
7

Polynomials, fragments of temporal logic and the variety over traces

Manfred Kufleitner
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 313 KB
english, 2007
8

Language equations with complementation: Decision problems

Alexander Okhotin, Oksana Yakimova
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 448 KB
english, 2007
9

On some variations of two-way probabilistic finite automata models

Bala Ravikumar
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 266 KB
english, 2007
10

On critical exponents in fixed points of non-erasing morphisms

Dalia Krieger
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 588 KB
english, 2007
11

Editorial Board

Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 68 KB
english, 2007
12

Context-dependent nondeterminism for pushdown automata

Martin Kutrib, Andreas Malcher
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 301 KB
english, 2007
13

Developments in language theory

Oscar H. Ibarra
Journal:
Theoretical Computer Science
Year:
2007
Language:
english
File:
PDF, 116 KB
english, 2007