Welcome

Research and teaching @ TUHH

Friday, May 27, 2011

Computability & Complexity - Lecture 7

Topics:
  • Gödel numbering of GOTO programs
  • parametrization (Kleene's smn theorem)

No comments:

Post a Comment