Sommaire du Fascicule no. 1

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

Sommaire du Fascicule no. 2

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

Sommaire du Fascicule no. 3

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

Sommaire du Fascicule no. 4

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