Issue no. 1 Table of Contents

Characterization of rational and algebraic power series
On the separating power of EOL systems
Deux remarques sur un théorème de S. Eilenberg
Independent instances for some undecidable problems
Top-down mathematical semantics and symbolic execution
Right and left invertibility in λ-β-calculus

Issue no. 2 Table of Contents

Relational data base design using refinement rules
Space classes, intersection of languages and bounded erasing homomorphisms
Mots infinis de Fibonacci et morphismes itérés
Algebraic definition of a functional programming language and its semantic models
Hypergraph systems and their extensions

Issue no. 3 Table of Contents

On the Ehrenfeucht conjecture for DOL languages
Syntactic congruences and syntactic algebras
Méthodes d'optimisation pour un problème de théorie des nombres
The reduction of binary trees by means of an input-restricted deque
Topologies on free monoids induced by families of languages

Issue no. 4 Table of Contents

Une extension des langages déterministes
A semigroup characterization of dot-depth one languages
Some theorems on graph congruences
Un algorithme de calcul formel des séries énumératrices de langage linéaire
The brownian motion : a neglected tool for the complexity analysis of sorted tables manipulation
Probabilistic analysis of two euclidean location problems
Parallel computation on 2-3-trees