Volume 303; Issue 1

Theoretical Computer Science

Volume 303; Issue 1
1

Foreword

Danièle Beauquier, Yuri Matijassevich
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 126 KB
english, 2003
2

Biography of A.O. Slissenko

Danièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 158 KB
english, 2003
3

Games for synthesis of controllers with partial observation

A. Arnold, A. Vincent, I. Walukiewicz
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 353 KB
english, 2003
4

Functional labels and syntactic entropy on DNA strings and proteins

A. Carbone, M. Gromov
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 248 KB
english, 2003
6

On feasible cases of checking multi-agent systems behavior

Michael Dekhtyar, Alexander Dikovsky, Mars Valiev
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 301 KB
english, 2003
7

Algebraic proof systems over formulas

Dima Grigoriev, Edward A. Hirsch
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 307 KB
english, 2003
8

On temporal logic versus datalog

Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto Afrati
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 381 KB
english, 2003
9

Finding approximate repetitions under Hamming distance

Roman Kolpakov, Gregory Kucherov
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 288 KB
english, 2003
10

Tree-width and the monadic quantifier hierarchy

J.A. Makowsky, J.P. Mariño
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 269 KB
english, 2003
11

Complexity of some problems in positive and related calculi

L. Maksimova
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 256 KB
english, 2003
12

A termination proof for epsilon substitution using partial derivations

G. Mints
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 351 KB
english, 2003
13

A gap property of deterministic tree languages

Damian Niwiński, Igor Walukiewicz
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 277 KB
english, 2003
14

Resolution lower bounds for the weak functional pigeonhole principle

Alexander A. Razborov
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 243 KB
english, 2003
15

On categorical equivalence of Gentzen-style derivations in IMLL

Sergei Soloviev, Vladimir Orevkov
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 252 KB
english, 2003
16

Editorial board v-ix

Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 54 KB
english, 2003