47th Annual IEEE Symposium on Foundations of Computer Science : 21 - 24 October 2006, Berkeley, California ; [proceedings] - Werner, Bob (Hrsg.); Symposium on Foundations of Computer Science (47 : 2006 : Berkeley, Calif.); IEEE Computer Society (2006)