Theoretical computer science focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms and semantics of programming languages. This book presents the research in the field from ar