Geodesic

Sommaire du Fascicule no. 1

Grammaires parenthésées et bilangages réguliers
p. 3-38
On some properties of the syntactic semigroup of a very pure subsemigroup
p. 39-56
Sur l'élimination itérative des situations de blocage dans un système
p. 57-66
Two-way multihead automata over a one-letter alphabet
p. 67-82
Construction, évaluation et amélioration systématiques de structures de données
p. 83-118
Some consequences of a result of Ehrenfeucht and Rozenberg
p. 119-122

Sommaire du Fascicule no. 2

An algorithm for the solution of fixed-point equations for infinite words
p. 131-141
Une généralisation de la théorie des types en λ-calcul
p. 143-167
Classes of languages proof against regular pumping
p. 169-180
Mots de Lyndon et périodicité
p. 181-191
Verschränkte homomorphismen formaler sprachen
p. 193-208
Factorisation des polynômes à plusieurs variables
p. 209-223
Topologies on free monoids induced by closure operators of a special type
p. 225-237

Sommaire du Fascicule no. 3

Systèmes de déduction pour les arbres et les schémas de programmes (I)
p. 247-278
Computing of graphs of relations using generative grammars
p. 279-299
Une généralisation de la théorie des types en λ-calcul (II)
p. 301-314

Sommaire du Fascicule no. 4

Nondeterminism and fully abstract models
p. 323-347
On the equality sets for homomorphisms on free monoids with two generators
p. 349-369
Détermination de la représentation standard d'une série reconnaissable
p. 371-379