Вычислительные возможности классических и квантовых моделей вычислений с ограничениями. Этап 2009 г.: Развитие методов эффективного вычисления булевых функций в квантовых ветвящихся программах с ограничениями.
Академия наук Республики Татарстан
Вычислительные возможности классических и квантовых моделей вычислений с ограничениями. Этап 2009 г.: Развитие методов эффективного вычисления булевых функций в квантовых ветвящихся программах с ограничениями.