Parcourir par

  • Revues
  • Séminaires
  • Livres
  • Congrès
  • Sources

Geodesic


    Parcourir par

    • Revues
    • Séminaires
    • Livres
    • Congrès
    • Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 42 (2008)
no. 2
Précédent Suivant

Volume 42 (2008) no. 2

Sommaire


Efficiency of automata in semi-commutation verification techniques
Cécé, Gérard ;  Héam, Pierre-Cyrille ;  Mainier, Yann
p. 197-215

Binary operations on automatic functions
Karhumäki, Juhani ;  Kari, Jarkko ; Kupke, Joachim
p. 217-236

Parallel approximation to high multiplicity scheduling problems via smooth multi-valued quadratic programming
Serna, Maria ; Xhafa, Fatos 
p. 237-252

Hierarchies of function classes defined by the first-value operator
Hemmerling, Armin
p. 253-270

Calculi of net structures and sets are similar
Czaja, Ludwik 
p. 271-284

Efficient weighted expressions conversion
Ouardi, Faissal ;  Ziadi, Djelloul 
p. 285-307

Census algorithms for chinese remainder pseudorank
Laing, David ; Litow, Bruce
p. 309-322

Phenotype space and kinship assignment for the Simpson index
Litow, Bruce ; Konovalov, Dmitry
p. 323-333

State complexity of cyclic shift
Jirásková, Galina ;  Okhotin, Alexander
p. 335-360

D0L sequence equivalence is in P for fixed alphabets
Ruohonen, Keijo
p. 361-374

A morphic approach to combinatorial games : the Tribonacci case
Duchêne, Eric ;  Rigo, Michel 
p. 375-393

On an algorithm to decide whether a free group is a free factor of another
Silva, Pedro V. ; Weil, Pascal
p. 395-414
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité