Volume 215; Issue 1-2

Theoretical Computer Science

Volume 215; Issue 1-2
1

Length of prime implicants and number of solutions of random CNF formulae

Y. Boufkhad, O. Dubois
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.72 MB
english, 1999
4

Fast RNC and NC algorithms for maximal path sets

Ryuhei Uehara, Zhi-Zhong Chen, Xin He
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 659 KB
english, 1999
5

Synchronization languages

Mireille Clerbout, Yves Roos, Isabelle Ryl
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.37 MB
english, 1999
6

Recognizing median graphs in subquadratic time

Johann Hagauer, Wilfried Imrich, Sandi Klavžar
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1018 KB
english, 1999
8

Decidability problems in grammar systems

Valeria Mihalache
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.40 MB
english, 1999
9

Deterministic generalized automata

Dora Giammarresi, Rosa Montalbano
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.24 MB
english, 1999
10

Scheduling parallel tasks with individual deadlines

Kwon Oh-Heum, Chwa Kyung-Yong
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.02 MB
english, 1999
11

On the complexity of deadlock detection in families of planar nets

Bruno Durand, Anne-Cécile Fabret
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 981 KB
english, 1999
12

Pushdown cellular automata

Martin Kutrib
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.35 MB
english, 1999
13

An example of an indexed language of intermediate growth

R.I. Grigorchuk, A. Machí
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 152 KB
english, 1999
14

A proof of choffrut's theorem on subsequential functions

Véronique Bruyère, Christophe Reutenauer
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 429 KB
english, 1999
15

Exact performance equivalence: An equivalence relation for stochastic automata

Peter Buchholz
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.59 MB
english, 1999
16

Fusion trees can be implemented with AC0 instructions only

Arne Andersson, Peter Bro Miltersen, Mikkel Thorup
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 492 KB
english, 1999
17

A minimal code list

Herbert Fischer, Harley Flanders
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 215 KB
english, 1999
20

Fixed topology Steiner trees and spanning forests

Wang Lusheng, Xiaohua Jia
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 731 KB
english, 1999
21

Singularity analysis and asymptotics of Bernoulli sums

Philippe Flajolet
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 657 KB
english, 1999
22

Elimination of parameters in the polynomial hierarchy

Pascal Koiran
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 1.09 MB
english, 1999
23

Some results about centralized PC grammar systems

Jean-Michel Autebert
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 971 KB
english, 1999
24

Author index volume 215 (1999)

Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 95 KB
english, 1999
26

Editorial Board

Journal:
Theoretical Computer Science
Year:
1999
File:
PDF, 138 KB
1999