RAIRO - Theoretical Informatics and Applications

Efficiency of automata in semi-commutation verification techniques p. 197

Gérard Cécé, Pierre-Cyrille Héam and Yann Mainier

Published online: 25 September 2007

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

• Abstract
• PDF (281.2 KB)
• References

Binary operations on automatic functions p. 217

Juhani Karhumäki, Jarkko Kari and Joachim Kupke

Published online: 13 December 2007

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

• Abstract
• PDF (316.7 KB)
• References

Parallel approximation to high multiplicity scheduling problems VIA smooth multi-valued quadratic programming p. 237

Maria Serna and Fatos Xhafa

Published online: 25 September 2007

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

• Abstract
• PDF (241.8 KB)
• References

Hierarchies of function classes defined by the first-value operator p. 253

Armin Hemmerling

Published online: 25 December 2007

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

• Abstract
• PDF (249.5 KB)
• References

Calculi of net structures and sets are similar p. 271

Ludwik Czaja

Published online: 06 September 2007

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

• Abstract
• PDF (477.4 KB)
• References

Efficient weighted expressions conversion p. 285

Faissal Ouardi and Djelloul Ziadi

Published online: 06 September 2007

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

• Abstract
• PDF (363.3 KB)
• References

Census algorithms for chinese remainder pseudorank p. 309

David Laing and Bruce Litow

Published online: 14 August 2007

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

• Abstract
• PDF (186.6 KB)
• References

Phenotype space and kinship assignment for the simpson index p. 323

Bruce Litow and Dmitry Konovalov

Published online: 06 September 2007

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

• Abstract
• PDF (175.4 KB)
• References

State complexity of cyclic shift p. 335

Galina Jirásková and Alexander Okhotin

Published online: 13 December 2007

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

• Abstract
• PDF (685.6 KB)
• References

D0L sequence equivalence is in P for fixed alphabets p. 361

Keijo Ruohonen

Published online: 13 December 2007

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

• Abstract
• PDF (191.7 KB)
• References

A morphic approach to combinatorial games: the Tribonacci case p. 375

Eric Duchêne and Michel Rigo

Published online: 13 December 2007

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

• Abstract
• PDF (247.2 KB)
• References

On an algorithm to decide whether a free group is a free factor of another p. 395

Pedro V. Silva and Pascal Weil

Published online: 20 December 2007

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

• Abstract
• PDF (300.8 KB)
• References