Welcome

Research and teaching @ TUHH

Saturday, July 9, 2011

Computability and Complexity - Lecture 12

Theorem of Rice-Shapiro, word problem for semi-Thue systems.

No comments:

Post a Comment