Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.17 <Теорет. основы информатики>
Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : автореф. дис. на соиск. учен. степ. д-ра физ.-мат. наук : специальность 05.13.17 <Теорет. основы информатики>