Geodesic

Sommaire du Fascicule no. 1

Systèmes de déduction pour les arbres et les schémas de programme (II)
p. 3-21
On subdirectly irreducible automata
p. 23-46
Sur l'auto-stabilisation dans un réseau d'ordinateurs
p. 47-66
A theory of complexity of monadic recursion schemes
p. 67-94

Sommaire du Fascicule no. 2

Sémantique des processus communicants
p. 103-139
Transductions rationnelles décroissantes
p. 141-148
Relational morphisms and operations on recognizable sets
p. 149-159
FPOL systems generating counting languages
p. 161-173

Sommaire du Fascicule no. 3

Arbitrary weight changes in dynamic trees
p. 183-211
Transducteurs finis d'arbres et tests d'égalité
p. 213-232
Closure properties of certain families of formal languages with respect to a generalization of cyclic closure
p. 233-252
The theory of invertible algorithms
p. 253-279

Sommaire du Fascicule no. 4

On the structure of general stochastic automata
p. 287-302
Une formalisation des systèmes conversationnels
p. 303-336
Synchronized EOL forms under uniform interpretation
p. 337-353
An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation
p. 355-371
Finiteness results on rewriting systems
p. 373-391