References

Text Books:

We will follow material from the following four textbooks.

• [K1 Book] : Automata and Computability - Dexter Kozen
• [K2 Book] : Theory of Computation - Dexter Kozen
• [DK Book]: Theory of Computational Complexity - Du and Ko
• [AB Book] : Complexity Theory: A Modern Approach - Sanjeev Arora and Boaz Barak.

Additional materials or lecture notes if required will be provided after the corresponding lecture. A pointer to the same will be added to the reference section of the corresponding lecture.