Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 19 (1985)
no. 3
Table of contents
On the equivalence of compositions of morphisms and inverse morphisms on regular languages
Karhumäki, J.
;
Kleijn, H. C. M.
p. 203-211
Algorithme de décomposition de clés
Pichat, E.
p. 213-232
Reduction algorithms for some classes of aperiodic monoids
König, Roman
p. 233-260
On temporal program verification rules
Kröger, F.
p. 261-280
Sur les semi-groupes vérifiant le théorème de Kleene
Reutenauer, Christophe
p. 281-291
A formalism for treating equivalence of recursive procedures
Pelin, Alex
p. 293-313
