NPTEL Lecture : 'Lecture-09-'Guess and verify' paradigm for nondeterminism.'

Lecture-09-'Guess and verify' paradigm for nondeterminism.

  • Course: Theory of Computation
  • Discipline: Computer Science and Engineering
  • Faculty: Prof. Somenath Biswas
  • Institute: IIT Kanpur