Theoretical Computer Science, Volume 281

Volume 281, Number 1-2, June 2002

• Giorgio Ausiello:
  Selected Papers in honour of Maurice Nivat - Editorial. 1
  Electronic Edition (link) BibTeX
• Pierre-Louis Curien:
  Une breve biographie scientifique de Maurice Nivat. 3-23
  Electronic Edition (link) BibTeX
• Grzegorz Rozenberg, Arto Salomaa:
  ICALP, EATCS and Maurice Nivat. 25-30
  Electronic Edition (link) BibTeX
• André Arnold:
  Nivat's processes and their synchronization. 31-36
  Electronic Edition (link) BibTeX
• Cyril Banderier, Philippe Flajolet:
  Basic analytic combinatorics of directed lattice paths. 37-80
  Electronic Edition (link) BibTeX
• Danièle Beauquier, Jean-Claude Fournier:
  Groups and tilings. 81-97
  Electronic Edition (link) BibTeX
• Jean Berstel, Laurent Vuillon:
  Coding rotations on intervals. 99-107
  Electronic Edition (link) BibTeX
• Gérard Boudol, Ilaria Castellani:
  Noninterference for concurrent programs and thread systems. 109-130
  Electronic Edition (link) BibTeX
• Roberto Bruni, Ugo Montanari:
  Dynamic connectors for concurrency. 131-176
  Electronic Edition (link) BibTeX
• Bruno Courcelle, Teodor Knapik:
  The evaluation of first-order substitution is monadic second-order compatible. 177-206
  Electronic Edition (link) BibTeX
• Guy Cousineau:
  Tilings as a programming exercise. 207-217
  Electronic Edition (link) BibTeX
• Max Dauchet, Sophie Tison, Marc Tommasi:
  Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphisms. 219-233
  Electronic Edition (link) BibTeX
• Alberto Del Lungo:
  Reconstructing permutation matrices from diagonal sums. 235-249
  Electronic Edition (link) BibTeX
• Marianne Delorme, Jacques Mazoyer:
  Reconnaissance parallele des langages rationnels sur automates cellulaires plans. 251-289
  Electronic Edition (link) BibTeX
• Josep Díaz, Maria J. Serna, Dimitrios M. Thilikos:
  Counting H-colorings of partial k-trees. 291-309
  Electronic Edition (link) BibTeX
• Bruno Durand:
  De la logique aux pavages. 311-324
  Electronic Edition (link) BibTeX
• Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg:
  Gene assembly through cyclic graph decomposition. 325-349
  Electronic Edition (link) BibTeX
• Luca Ferrari, Elisa Pergola, Renzo Pinzani, Simone Rinaldi:
  An algebraic characterization of the set of succession rules. 351-367
  Electronic Edition (link) BibTeX
• Paul Gastin, Michael W. Mislove:
  A truly concurrent semantics for a process algebra using resource pomsets. 369-421
  Electronic Edition (link) BibTeX
• Serge Grigorieff:
  Modelization of deterministic rational relations. 423-453
  Electronic Edition (link) BibTeX
• Peter Gritzmann, Sven de Vries:
  On the algorithmic inversion of the discrete Radon transform. 455-469
  Electronic Edition (link) BibTeX
• Mitsuhiro Okada:
  A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. 471-498
  Electronic Edition (link) BibTeX
• Teodor Rus:
  A unified language processing methodology. 499-536
  Electronic Edition (link) BibTeX
• Arto Salomaa:
  Uni-transitional Watson-Crick D0L systems. 537-553
  Electronic Edition (link) BibTeX
• Géraud Sénizergues:
  L(A)=L(B)? A simplified decidability proof. 555-608
  Electronic Edition (link) BibTeX
• Gérard P. Huet:
  Srl Yantra Geometry. 609-628
  Electronic Edition (link) BibTeX