A. S. Barashko

• Issledovanie po teorii slozhnosti vychisleniĭ i formalʹnym i͡a︡zykam
• Modelirovanie i testirovanie diskretnykh ustroĭstv