RUS
ENG
Full version
JOURNALS
Logical Methods in Computer Science
Journal archive
©
Steklov Math. Inst. of RAS
, 2025
