Тезис Чёрча для полиномиальных по времени рекурсивных алгоритмов над словами и их длинами. Comput. Tools Educ. [Internet]. 2011 Feb. 28 [cited 2026 Nov. 11];(1). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1248