Complexity Theory Markus Bläser, Balagopal Komarath

News

Sipser, Lautemann

Written: 06.12.2019 12:38 Written By: Balagopal Komarath

Sipser first proved containment in the fourth level

http://faculty.cs.tamu.edu/chen/courses/637/2006/pres/meng1.pdf

 

The presented improvement is due to Lautemann.

http://faculty.cs.tamu.edu/chen/courses/637/2006/pres/meng2.pdf



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators