Subscriber Authentication Point

EDPS Account

Volume 31 / No 3 (1997)

Free Access to the whole issue

RAIRO - Theoretical Informatics and Applications

Volume 31 / No 3 (1997)

Export the citation of the selected articles Export
Select all

Free Access

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini p. 205

M. Hibti, B. Legeard and H. Lombardi

Published online: 01 February 2017

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

Free Access

On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups p. 237

F. Blanchet-Sadri

Published online: 01 February 2017

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

Free Access

Skip trees, an alternative data structure to skip lists in a concurrent approach p. 251

Xavier Messeguer

Published online: 01 February 2017

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

Free Access

Decimations and sturmian words p. 271

Jacques Justin and Giuseppe Pirillo

Published online: 01 February 2017

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

Free Access

Polynomial size test sets for commutative languages p. 291

Ismo Hakala and Juha Kortelainen

Published online: 01 February 2017

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