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 46 (2012)
no. 3
Précédent
Suivant
Volume 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