RUS
ENG
Full version
JOURNALS
Logical Methods in Computer Science
Journal archive
Website:
https://lmcs.episciences.org
ISSN:
1860-5974 (online)
Publisher:
Technischen Universitat Braunschweig
©
Steklov Math. Inst. of RAS
, 2025