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