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

My report entitled “PSPACE-completeness of the problem of correctness of a program with cycle” to International Conference “Applied Mathematics, Computational Science and Mechanics: Current Problems”.

Download PDF [RU]

comments powered by Disqus