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