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 43 (2009)
no. 2
Précédent Suivant

Volume 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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité