Textbooks & References

Following are the reference books. Specific reading materials will be assigned on special topics as and when needed. Copies of these books are available in the institute library.

• [Kozen A&C] - Automata and Computability by Dexter C Kozen
• [Kozen ToC] - Theory of Computation by Dexter C Kozen
• [Arora-Barak] - Computational Complexity: A modern approach by Sanjeev Arora and Boaz Barak
• [Goldreich] - Computational Complexity: A Conceptual Perspective by Oded Goldreich