Theoretical Computer Science, Volume 123

Volume 123, Number 1, 17 January 1994

Selected Papers of the 10th "Journées Mathématiques-Informatique", Marseilee, October 14-16, 1991

Jean-Paul Allouche: Note on the Cyclic Towers of Hanoi. 3-7 BibTeX
Marc Roland Assous, Vincent Bouchitté, Christine Charretton, Brigitte Rozoy: Finite Labelling Problem in Event Structures. 9-19 BibTeX
A. Bertrand: Sur une conjecture d'Yves Métivier. 21-30 BibTeX
Claude Bertrand: A Natural Semantics of First-Order Type Dependency. 31-53 BibTeX
François Blanchard, S. Fabre: Quelques procédés engendrant des suites infinies. 55-60 BibTeX
Jean-Pierre Borel: Symbolic Representation of Piecewise Linear Functions on the Unit Interval and Application to Discrepancy. 61-87 BibTeX
Claude Chaunier, Nik Lygeros: Le nombre de posets à isomorphie près ayant 12 èlèments. 89-94 BibTeX
Hervé Daudé, Brigitte Vallée: An Upper Bound on the Average Number of Iterations of the LLL Algorithm. 95-115 BibTeX
Dominique Duval, Pascale Sénéchaud: Sketches and Parametrization. 117-130 BibTeX
Henri Faure: Méthodes quasi-Monte-Carlo multidimensionnelles. 131-137 BibTeX
Zbigniew S. Kowalski: Multiple Returns Under a Bounded Number of Iterations. 139-144 BibTeX
Maurice Mignotte: Sur l'équation de Catalan, II. 145-149 BibTeX
Eric Rémila: A Linear Algorithm to Tile the Trapezes with h_m and v_n. 151-165 BibTeX
Xiangdong Ye: Coexistence of Uniquely Ergodic Subsystems of Interval Mapping. 167-181 BibTeX

Volume 123, Number 2, 31 January 1994

Dung T. Huynh, Lu Tian: Deciding Bisimilarity of Normed Context-Free Processes is in Sigma^p_2. 183-197 BibTeX
Bruno Martin: A Universal Cellular Automaton in Quasi-Linear Time and its S-m-n Form. 199-237 BibTeX
Francine Blanchet-Sadri: Equations and Monoid Varieties of Dot-Depth One and Two. 239-258 BibTeX
Mireille Clerbout, D. Gonzalez: Atomic Semicommutations. 259-272 BibTeX
Jean-Camille Birget, Stuart W. Margolis, John C. Meakin: The Word Problem for Inverse Monoids Presented by One Idempotent Relator. 273-289 BibTeX
Philippe Flajolet, Peter J. Grabner, Peter Kirschenhofer, Helmut Prodinger, Robert F. Tichy: Mellin Transforms and Asymptotics: Digital Sums. 291-314 BibTeX
Kunimasa Aoki, Juichi Shinoda, Teruko Tsuda: On Pi_2 Theories of hp-T Degrees of Low Sets. 315-327 BibTeX
Shigeki Iwata, Takumi Kasai: The Othello game on an n*n board is PSPACE-complete. 329-340 BibTeX
Daniel Mey: Finite Games for a Predicate Logic Without Contractions. 341-349 BibTeX
Grahame Bennett: Double Dipping: the Case of the Missing Binomial Coefficient Identities. 351-375 BibTeX
Dexter Kozen, Shmuel Zaks: Optimal Bounds for the Change-Making Problem. 377-388 BibTeX
Maria M. Klawe: Shallow Grates. 389-395 BibTeX
Serge Burckel: Functional Equations Associated with Congruential Functions. 397-406 BibTeX
Edith Hemaspaandra, Lane A. Hemaspaandra: Quasi-injective Reductions. 407-413 BibTeX
Naomi Nishimura: Restricted CRCW PRAM. 415-426 BibTeX
Burkhard Monien, Wojciech Rytter, Helmut Schäpers: Corrigendum: Fast Recognition of Deterministic CFL's with a Smaller Number of Processors. 427-428 BibTeX , ->TCS 116: 421-429 (1993)