Академия наук Республики Татарстан

Вычислительные возможности классических и квантовых моделей вычислений с ограничениями. Этап 2010 года: Построение обобщенного метода отпечатков для модели квантовых ветвящихся программ