PSPACE-completeness of the problem of correctness of a program with cycle

My report to International Conference ‘Applied Mathematics, Computational Science and Mechanics: Current Problems’…

Keep reading