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 46 (2012)
  • no. 3
  • Suivant

Tome 46 (2012) no. 3

Sommaire


Job shop scheduling with unit length tasks
Akveld, Meike ; Bernhard, Raphael
p. 329-342

Linear spans of optimal sets of frequency hopping sequences
Juntao, Gao ; Yupu, Hu ; Xuelian, Li
p. 343-354

On the decidability of semigroup freeness
Cassaigne, Julien ; Nicolas, Francois
p. 355-399

On the joint 2-adic complexity of binary multisequences
Zhao, Lu ; Wen, Qiao-Yan
p. 401-412

Probabilistic operational semantics for the lambda calculus
Dal Lago, Ugo ;   Zorzi, Margherita
p. 413-450

Undecidability of infinite post correspondence problem for instances of size 8
Dong, Jing ; Liu, Qinghui
p. 451-457
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de