Theoretical Computer Science, Volume 79

Volume 79, Number 1, 1991

Marcella Anselmo: The Zig-Zag Power Series: A Two-Way Version of the * Operator. 3-24
Alberto Bertoni, Danilo Bruschi, Massimiliano Goldwurm: Ranking and Formal Power Series. 25-35
Philippe Flajolet, Bruno Salvy, Paul Zimmermann: Automatic Average-Case Analysis of Algorithm. 37-109
Daniel Krob: Some Examples of Formal Series Used in Non-Commutative Algebra. 111-135
Werner Kuich: Automata and Languages Generalized to omega-Continuous Semirings. 137-150
Christiane Hespel, Gérard Jacob: Approximation of Nonlinear Dynamic Systems by Rational Series. 151-162
V. Hoang Ngoc Minh: Evaluation Transform. 163-177
Pierre Leroux, Xavier Gérard Viennot: A Combinatorial Approach to Nonlinear Functional Expansions: An Introduction with an Example. 179-193
N. E. Oussous: Computation, on Macsyma, of the Minimal Differential Representation of Noncommutative Polynomials. 195-207
Marie-Pierre Delest: Enumeration of Polyominoes Using Macsyma. 209-226
Gérard Duchamp: Orthogonal Projection Onto the Free Lie Algebra. 227-239
Pierre-Vincent Koseleff: Jeux de Mots dans les Algèbres de Lie Libres: Quelques Bases et Formules. 241-256
F. Rotella: Shuffle Product of Generating Series. 257-261
Juha Honkala: On Algebraic Generalized Zeta Functions of Formal Power Series. 263-273

Frits W. Vaandrager: Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). 275-294
Marit Holden: Weak Logic Theory. 295-321
Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux: Regularity of Relations: A Measure of Uniformity. 323-339
Andrzej Szalas: On Strictly Arithmetical Completeness in Logics of Programs. 341-355
Allen Stoughton: Interdefinability of Parallel Operations in PCF. 357-358
Achim Jung: The Dependent Product Construction in Various Categories of Domains. 359-363
George Koletsos: Polymorphic Lambda Calculus: The Church-Rosser Property. 365-371