RUS
ENG
Full version
JOURNALS
ACM Transactions on Computational Logic
Journal archive
Website:
https://dl.acm.org/pub.cfm?id=J773
ISSN:
1557-945X (online), 1529-3785 (print)
Publisher:
Association for Computing Machinery (ACM), New York, NY
©
Steklov Math. Inst. of RAS
, 2025