Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • Précédent
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 42 (2008)
  • no. 2
  • Suivant

Tome 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
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de