Video: Bakhadyr Khoussainov, "Computably Enumerable Structures"

Video From 13w5047: Computable Model Theory

Bakhadyr Khoussainov, University of Auckland

Wednesday, November 6, 2013 09:04 - 09:58

Computably Enumerable Structures

Bakhadyr Khoussainov, Video: Computably Enumerable Structures

Bakhadyr Khoussainov, Computably Enumerable Structures, Computable Model Theory, BIRS, BIRS talk, 13w5047, math, mathematics, video

Banff International Research Station

presentation

mpeg4

139M

http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos

http://www.birs.ca/events/2013/5-day-workshops/13w5047/videos/watch/201311060904-Khoussainov.html