Автор туралы ақпарат
Vyalyi, M. N
Шығарылым | Бөлім | Атауы | Файл |
Том 60, № 3 (2024) | Large Systems | Regular Realizability Problems for Descriptions of Finite Relations | |
Том 59, № 1 (2023) | Articles | Testing the satisfiability of algebraic formulas over the field of two elements |