Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Previous
  • RAIRO. Theoretical Informatics and Applications
  • Volume 46 (2012)
  • no. 3
  • Next

Volume 46 (2012) no. 3

Table of contents


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
  • Accessibility: not compliant
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of