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

14 мая 2014 года (в среду) в ИМ СО РАН в кабинете директора в 17-00
состоится заседание семинара "Теория вычислимости".

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