Математика. Диссертация Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение : диссертация ... кандидата физико-математических наук : 01.01.09, Москва, 2005