Issue no. 1 Table of Contents

Note sur la suppression des étiquettes en programmation
The decidability of the equivalence problem for polynomially bounded DOL sequences
Cônes rationnels commutativement clos
Characterizations of the Dyck sets
Sémantique des structures de contrôle
Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions

Issue no. 2 Table of Contents

Emploi de méthodes constructives en programmation. Un dossier : la fonction d'Ackermann
Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
A note on NSPACE (log 2 n) and substitution
Les tests et leur caractérisation syntaxique
Asymptotical estimation of some characteristics of finite graphs

Issue no. 3 Table of Contents

Some remarks on multihead automata
Mots sans répétitions et langages rationnels bornés
Une caractérisation des langages algébriques bornés
A note on equal powers of word morphisms
Un modèle fonctionnel des structures de contrôle
Sémantique algébrique d'un langage de programmation type Algol

Issue no. 4 Table of Contents

On some context free languages that are not deterministic ETOL languages
Codes, languages and MOL schemes
An operation with languages occurring in the linguistic approach to the management
Mots infinis engendrés par une grammaire algébrique
Data types as lattices : retractions, closures and projections