Tome 19 (1985) no. 3

Sommaire

On the equivalence of compositions of morphisms and inverse morphisms on regular languages
p. 203-211
Algorithme de décomposition de clés
p. 213-232
Reduction algorithms for some classes of aperiodic monoids
p. 233-260
On temporal program verification rules
p. 261-280
Sur les semi-groupes vérifiant le théorème de Kleene
p. 281-291
A formalism for treating equivalence of recursive procedures
p. 293-313