3From almost optimal algorithms to logics for complexity classes via listings and a halting problem
http://sms.cam.ac.uk/media/1234064
Chen, Y (Shanghai Jiao Tong University)
Thursday 29 March 2012, 09:00-10:0040From almost optimal algorithms to logics for complexity classes via listings and a halting problem
http://sms.cam.ac.uk/media/1234064
http://rss.sms.cam.ac.uk/itunes-image/1394306.jpgFrom almost optimal algorithms to logics for complexity classes via listings and a halting problemucs_sms_1200622_1234064
http://sms.cam.ac.uk/media/1234064