GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 43 (2009)
no. 2
Sommaire
Repetitions and permutations of columns in the semijoin algebra
Leinders, Dirk
;
Jan Van Den Bussche
p. 179-187
On the power of randomization for job shop scheduling with
k
-units length tasks
Mömke, Tobias
p. 189-207
The theorem of Fine and Wilf for relational periods
Halava, Vesa
;
Harju, Tero
;
Kärki, Tomi
p. 209-220
Minimal NFA and biRFSA languages
Latteux, Michel
;
Roos, Yves
;
Terlutte, Alain
p. 221-237
A note on dual approximation algorithms for class constrained bin packing problems
Xavier, Eduardo C.
;
Miyazawa, Flàvio Keidi
p. 239-248
Thread algebra for noninterference
Vu, Thuy Duong
p. 249-268
Polynomial languages with finite antidictionaries
Shur, Arseny M.
p. 269-279
Efficient validation and construction of border arrays and validation of string matching automata
Duval, Jean-Pierre
;
Lecroq, Thierry
;
Lefebvre, Arnaud
p. 281-297
Directive words of episturmian words : equivalences and normalization
Glen, Amy
;
Levé, Florence
;
Richomme, Gwénaël
p. 299-319
Tree automata and automata on linear orderings
Bruyère, Véronique
;
Carton, Olivier
;
Sénizergues, Géraud
p. 321-338
Highly undecidable problems for infinite computations
Finkel, Olivier
p. 339-364
On context-free rewriting with a simple restriction and its computational completeness
Masopust, Tomáš
;
Meduna, Alexander
p. 365-378
Nested sibling tree automata
Gire, Françoise
;
Talbot, Jean-Marc
p. 379-402