ACM Transactions on Computational Logic

RUS ENG

Full version

JOURNALS // ACM Transactions on Computational Logic

© Steklov Math. Inst. of RAS, 2025