[Logic and Complexity] Post's problem
Yijia Chen
yijia.chen at cs.sjtu.edu.cn
Sat May 11 21:26:05 CST 2013
Hi,
I will give a talk tomorrow 10:00am on the proof
of Post's problem using finite injury method.
Cheers,
Yijia
More information about the Logic
mailing list