Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов Поста дефинитных автоматов.
Жук Дмитрий Николаевич. Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов Поста дефинитных автоматов. : диссертация ... кандидата физико-математических наук : 01.01.09 / Жук Дмитрий Николаевич; [Место защиты: Московский государственный университет].- Москва, 2010.- 91 с.: ил.
