Logical Methods in Computer Science

RUS ENG

Full version

JOURNALS // Logical Methods in Computer Science

© Steklov Math. Inst. of RAS, 2025