RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 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