Subscriber Authentication Point

EDPS Account

Volume 19 / No 3 (1985)

Free Access to the whole issue

RAIRO. Informatique théorique

Volume 19 / No 3 (1985)

Export the citation of the selected articles Export
Select all

Free Access

On the equivalence of compositions of morphisms and inverse morphisms on regular languages p. 203

J. Karhumäki and H. C. M. Kleijn

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302031

Free Access

Algorithme de décomposition de clés p. 213

E. Pichat

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302131

Free Access

Reduction algorithms for some classes of aperiodic monoids p. 233

Roman König

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302331

Free Access

On temporal program verification rules p. 261

F. Kröger

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302611

Free Access

Sur les semi-groupes vérifiant le théorème de Kleene p. 281

Christophe Reutenauer

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302811

Free Access

A formalism for treating equivalence of recursive procedures p. 293

Alex Pelin

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1985190302931