Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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