Educational seminar

• October 23, October 30, November 13, 2006
• Rostislav Yavorskiy, Nikolay Zemtsov, Tatiana Yavorskaya
• Abstract State Machines
• In the series of talks a convenient model of computation introduced by Yu. Gurevich will be discussed.
• Materials on ASML on R. Yavorskiy's page, ASM in internet.

© 2006—2007 Kolmogorov seminar
Feedback