Sommaire du Fascicule no. 1

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

Sommaire du Fascicule no. 2

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

Sommaire du Fascicule no. 3

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

Sommaire du Fascicule no. 4

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