Вычисления над упорядоченными кольцами посредством обобщённых регистровых машин.
Математическая логика и компьютерные науки, Труды Международной научной конференции, Астана, Казахстан, 7-8 октября 2022, стр. 36-40.
Перейти к публикации
| Авторы: Латкин И.В., Селиверстов А.В. |