ask others

Theoretical Computer Science, Volume 322

> Home > Journals > Theoretical Computer Science

Volume 322, Number 1, August 2004

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CegielskiM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CegielskiM04
Patrick Cégielski, Malika More:
Foreword. 1-3

Article

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AdamowiczK04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AdamowiczK04
Zofia Adamowicz, Leszek Aleksander Kolodziejczyk:
Well-behaved principles alternative to bounded induction. 5-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Beltiukov04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Beltiukov04
Anatoly Petrovich Beltiukov:
A strong induction scheme that leads to polynomially computable realizations. 17-39
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Chateau04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Chateau04
Annie Chateau:
On the complexity of decision using destinies in H-bounded structures. 41-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Finkel04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Finkel04
Olivier Finkel:
Closure properties of locally finite omega-languages. 69-84
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BecherG04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BecherG04
Verónica Becher, Serge Grigorieff:
Recursion and topology on 2<=omega for possibly infinite computations. 85-136
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Hachaichi04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Hachaichi04
Yassine Hachaïchi:
Arithmetical definability and computational complexity. 137-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/FormisanoOP04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/FormisanoOP04
Andrea Formisano, Eugenio G. Omodeo, Alberto Policriti:
Three-variable statements of set-pairing. 147-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Ressayre04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Ressayre04
Jean-Pierre Ressayre:
Winning strategies for infinite games: from large cardinals to computer science extended abstract. 175-179
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/ShahbazyanS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ShahbazyanS04
K. Shahbazyan, Yuri Shoukourian:
EMSO-logic and automata related to homogeneous flow event structures. 181-201
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Woods04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Woods04
Alan R. Woods:
Subset sum "cubes" and the complexity of primality testing. 203-219
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Zaslavsky04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Zaslavsky04
I. D. Zaslavsky:
On some generalizations of the primitive recursive arithmetic. 221-230

Volume 322, Number 2, August 2004

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DemongeotM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DemongeotM04
Jacques Demongeot, Jacques Mazoyer:
Discrete applied problems, cellular automata and lattices: florilegium for E. Goles. 231-232
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Nivat04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Nivat04
Maurice Nivat:
For the 50th anniversary of Eric Goles: A few words by Maurice Nivat. 233-235

Article

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

Volume 322, Number 3, September 2004

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Sassone04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Sassone04
Vladimiro Sassone:
Preface. 423-426

Article

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AbadiF04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AbadiF04
Martín Abadi, Cédric Fournet:
Private authentication. 427-476
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/BusiZ04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/BusiZ04
Nadia Busi, Gianluigi Zavattaro:
On the expressive power of movement and restriction in pure mobile ambients. 477-515
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/CairesC04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/CairesC04
Luís Caires, Luca Cardelli:
A spatial logic for concurrency - II. 517-565
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/ChothiaD04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/ChothiaD04
Tom Chothia, Dominic Duggan:
Abstractions for fault-tolerant global computing. 567-613
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/HennessyMR04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/HennessyMR04
Matthew Hennessy, Massimo Merro, Julian Rathke:
Towards a behavioural theory of access and mobility control in distributed systems. 615-669

maintained by

at