Geodesic

Sommaire du Fascicule no. 1

Note sur la suppression des étiquettes en programmation
p. 3-16
The decidability of the equivalence problem for polynomially bounded DOL sequences
p. 17-28
Cônes rationnels commutativement clos
p. 29-51
Characterizations of the Dyck sets
p. 53-62
Sémantique des structures de contrôle
p. 63-74
Reducibility as a tool to extend the power of approximation algorithms the minimization of boolean expressions
p. 75-82

Sommaire du Fascicule no. 2

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

Sommaire du Fascicule no. 3

Some remarks on multihead automata
p. 181-195
Mots sans répétitions et langages rationnels bornés
p. 197-202
Une caractérisation des langages algébriques bornés
p. 203-205
A note on equal powers of word morphisms
p. 207-211
Un modèle fonctionnel des structures de contrôle
p. 213-236
Sémantique algébrique d'un langage de programmation type Algol
p. 237-263

Sommaire du Fascicule no. 4

On some context free languages that are not deterministic ETOL languages
p. 273-291
Codes, languages and MOL schemes
p. 293-301
An operation with languages occurring in the linguistic approach to the management
p. 303-310
Mots infinis engendrés par une grammaire algébrique
p. 311-327
Data types as lattices : retractions, closures and projections
p. 329-344