Volume 349, Number 1, 12 December 2005
Volume 349, Number 2, 14 December 2005
Advances in Computer Games
: Static analysis based on formal models and incremental computation in Go programming.
: An evaluation function for the game of amazons.
Volume 349, Number 3, 16 December 2005
: Unresolved systems of language equations: Expressive power and decision problems.
Bang Ye Wu
: An analysis of the LPT algorithm for the max-min and the min-ratio partition problems.
: Segmental partially ordered generalized patterns.
: Conway's Angel in three dimensions.
: On the expected time for Herman's probabilistic self-stabilizing algorithm.