Theoretical Computer Science, Volume 322

Volume 322, Number 1, August 2004

Editorial

Patrick Cégielski, Malika More:
Foreword. 1-3
Electronic Edition (link) BibTeX

Article

Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
Well-behaved principles alternative to bounded induction. 5-16
Electronic Edition (link) BibTeX
Anatoly Petrovich Beltiukov:
A strong induction scheme that leads to polynomially computable realizations. 17-39
Electronic Edition (link) BibTeX
Annie Chateau:
On the complexity of decision using destinies in H-bounded structures. 41-67
Electronic Edition (link) BibTeX
Olivier Finkel:
Closure properties of locally finite omega-languages. 69-84
Electronic Edition (link) BibTeX
Verónica Becher, Serge Grigorieff:
Recursion and topology on 2<=omega for possibly infinite computations. 85-136
Electronic Edition (link) BibTeX
Yassine Hachaïchi:
Arithmetical definability and computational complexity. 137-146
Electronic Edition (link) BibTeX
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Three-variable statements of set-pairing. 147-173
Electronic Edition (link) BibTeX
Jean-Pierre Ressayre:
Winning strategies for infinite games: from large cardinals to computer science extended abstract. 175-179
Electronic Edition (link) BibTeX
K. Shahbazyan, Yu. Shoukourian:
EMSO-logic and automata related to homogeneous flow event structures. 181-201
Electronic Edition (link) BibTeX
Alan R. Woods:
Subset sum "cubes" and the complexity of primality testing. 203-219
Electronic Edition (link) BibTeX
I. D. Zaslavsky:
On some generalizations of the primitive recursive arithmetic. 221-230
Electronic Edition (link) BibTeX

Volume 322, Number 2, August 2004

Editorial

Jacques Demongeot, Jacques Mazoyer:
Discrete applied problems, cellular automata and lattices: florilegium for E. Goles. 231-232
Electronic Edition (link) BibTeX
Maurice Nivat:
For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. 233-235
Electronic Edition (link) BibTeX

Article

Julio Aracena, Jacques Demongeot, Eric Goles Ch.:
On limit cycles of monotone functions with symmetric connection graph. 237-244
Electronic Edition (link) BibTeX
Mourad Baïou, Michel Balinski:
Student admissions and faculty recruitment. 245-265
Electronic Edition (link) BibTeX
Anahí Gajardo, Eric Goles Ch.:
Dynamics of a class of ants on a one-dimensional lattice. 267-283
Electronic Edition (link) BibTeX
Eric Goles Ch.:
Folding and tiling. 285-296
Electronic Edition (link) BibTeX
Andrés Moreira:
Genetic algorithms for the imitation of genomic styles in protein backtranslation. 297-312
Electronic Edition (link) BibTeX
Georges Weil, Kamel Heus, Thomas Faraut, Jacques Demongeot:
The cyclic genetic code as a constraint satisfaction problem. 313-334
Electronic Edition (link) BibTeX
Marianne Delorme, Jacques Mazoyer:
Real-time recognition of languages on an two-dimensional Archimedean thread. 335-354
Electronic Edition (link) BibTeX
Christoph Dürr, Ivan Rapaport, Guillaume Theyssier:
Cellular automata and communication complexity. 355-368
Electronic Edition (link) BibTeX
Martín Matamala, Eduardo Moreno:
Dynamic of cyclic automata over Z² . 369-381
Electronic Edition (link) BibTeX
Eric Goles Ch., Matthieu Latapy, Clémence Magnien, Michel Morvan, Ha Duong Phan:
Sandpile models and lattices: a comprehensive survey. 383-407
Electronic Edition (link) BibTeX
Eric Rémila:
The lattice structure of the set of domino tilings of a polygon. 409-422
Electronic Edition (link) BibTeX

Volume 322, Number 3, September 2004

Editorial

Vladimiro Sassone:
Preface. 423-426
Electronic Edition (link) BibTeX

Article

Martín Abadi, Cédric Fournet:
Private authentication. 427-476
Electronic Edition (link) BibTeX
Nadia Busi, Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients. 477-515
Electronic Edition (link) BibTeX
Luís Caires, Luca Cardelli:
A spatial logic for concurrency - II. 517-565
Electronic Edition (link) BibTeX
Tom Chothia, Dominic Duggan:
Abstractions for fault-tolerant global computing. 567-613
Electronic Edition (link) BibTeX
Matthew Hennessy, Massimo Merro, Julian Rathke:
Towards a behavioural theory of access and mobility control in distributed systems. 615-669
Electronic Edition (link) BibTeX