Недетерминированные вычисления посредством обобщенных регистровых машин.
Международная конференция Мальцевские чтения. Тезисы докладов, Новосибирск, 14-19 ноября 2022, Новосибирск: Новосибирский государственный университет, 2022, стр. 72.
| Авторы: Латкин И.В., Селиверстов А.В. |