Acm Transactions On Computational Logic

期刊简介

《Acm Transactions On Computational Logic》是由Association for Computing Machinery (ACM)出版社于2000年创办的英文国际期刊（ISSN: 1529-3785，E-ISSN: 1557-945X），该期刊长期致力于计算机：理论方法领域的创新研究，主要研究方向为工程技术-计算机：理论方法。作为SCIE收录期刊（JCR分区 Q1，中科院 4区），本刊采用OA未开放获取模式（OA占比0%），以发表计算机：理论方法领域等方向的原创性研究为核心（研究类文章占比100.00%%）。凭借严格的同行评审与高效编辑流程，期刊年载文量精选控制在35篇，确保学术质量与前沿性。成果覆盖Web of Science、Scopus等国际权威数据库，为学者提供推动数学领域高水平交流平台。