Семинар "Теория вычислимости"

20 мая 2014 года (во вторник) в НГУ в ауд. 313 в 17-45
состоится заседание семинара "Теория вычислимости".

Докладчик - Н.А. Баженов.
Доклад - реферат статьи:
              R.G. Downey, A.M. Kach, S. Lempp, A.E.M. Lewis, A. Montalban, D.D. Turetsky,
              The Complexity of Computable Categoricity
              (продолжение).