Theoretical Informatics and Applications

Vol. 42 No. 2 (April-June 2008)

• Efficiency of automata in semi-commutation verification techniques     p. 197
  Gérard Cécé, Pierre-Cyrille Héam and Yann Mainier
  Abstract | PDF file (285.7 KB) | References



• Binary operations on automatic functions     p. 217
  Juhani Karhumäki, Jarkko Kari and Joachim Kupke
  Abstract | PDF file (320.5 KB) | References



• Parallel approximation to high multiplicity scheduling problems VIA smooth multi-valued quadratic programming     p. 237
  Maria Serna and Fatos Xhafa
  Abstract | PDF file (246.2 KB) | References



• Hierarchies of function classes defined by the first-value operator     p. 253
  Armin Hemmerling
  Abstract | PDF file (252.9 KB) | References



• Calculi of net structures and sets are similar     p. 271
  Ludwik Czaja
  Abstract | PDF file (480.3 KB) | References



• Efficient weighted expressions conversion     p. 285
  Faissal Ouardi and Djelloul Ziadi
  Abstract | PDF file (368.2 KB) | References



• Census algorithms for chinese remainder pseudorank     p. 309
  David Laing and Bruce Litow
  Abstract | PDF file (189.7 KB) | References



• Phenotype space and kinship assignment for the simpson index     p. 323
  Bruce Litow and Dmitry Konovalov
  Abstract | PDF file (177.6 KB) | References



• State complexity of cyclic shift     p. 335
  Galina Jirásková and Alexander Okhotin
  Abstract | PDF file (691.4 KB) | References



• D0L sequence equivalence is in P for fixed alphabets     p. 361
  Keijo Ruohonen
  Abstract | PDF file (194.5 KB) | References



• A morphic approach to combinatorial games: the Tribonacci case     p. 375
  Eric Duchêne and Michel Rigo
  Abstract | PDF file (251.3 KB) | References



• On an algorithm to decide whether a free group is a free factor of another     p. 395
  Pedro V. Silva and Pascal Weil
  Abstract | PDF file (305.5 KB) | References