Number 303,
Volume 1,
28 June 2003
- Danièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich:
Biography of A.O. Slissenko.
3-5
- André Arnold, Aymeric Vincent, Igor Walukiewicz:
Games for synthesis of controllers with partial observation.
7-34
- Alessandra Carbone, Misha Gromov:
Functional labels and syntactic entropy on DNA strings and proteins.
35-51
- Patrick Cégielski, François Heroult, Denis Richard:
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.
53-62
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev:
On feasible cases of checking multi-agent systems behavior.
63-81
- Dima Grigoriev, Edward A. Hirsch:
Algebraic proof systems over formulas.
83-102
- Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati:
On temporal logic versus datalog.
103-133
- Roman M. Kolpakov, Gregory Kucherov:
Finding approximate repetitions under Hamming distance.
135-156
- Johann A. Makowsky, Julian Mariño:
Tree-width and the monadic quantifier hierarchy.
157-170
- Larisa Maksimova:
Complexity of some problems in positive and related calculi.
171-185
- Grigori Mints:
A termination proof for epsilon substitution using partial derivations.
187-213
- Damian Niwinski, Igor Walukiewicz:
A gap property of deterministic tree languages.
215-231
- Alexander A. Razborov:
Resolution lower bounds for the weak functional pigeonhole principle.
233-243
- Sergei Soloviev, Vladimir Orevkov:
On categorical equivalence of Gentzen-style derivations in IMLL.
245-260
Number 303,
Volume 2-3,
15 July 2003
Copyright © Fri Mar 12 17:33:11 2010
by Michael Ley (ley@uni-trier.de)
