Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование
Дехтярь Михаил Иосифович. Семантика и анализ сложности алгоритмических проблем динамических систем и языков, использующих логическое программирование : диссертация ... доктора физико-математических наук : 05.13.17 / Дехтярь Михаил Иосифович; [Место защиты: Ин-т програм. систем РАН].- Тверь, 2009.- 383 с.: ил. РГБ ОД, 71 10-1/93
