ACMトランザクションズ・オン・コンピュテーショナル・ロジック

ACM Transactions on Computational Logic（ ACM TOCL ）は、コンピュータ科学における論理学分野の最新の注目すべき研究成果を普及させることを目的とした学術誌です米国におけるコンピュータ科学および計算技術に関する一流の科学・教育団体であるAssociation for Computing Machinery（ACM）によって発行されています

編集長はアヌージ・ダワール（ケンブリッジ大学）です。^{[ 1 ]}ジャーナル引用レポートによると、このジャーナルの2020年のインパクトファクターは0.625でした。^{[ 2 ]}

• ACM SIGLOG（ACMの計算論理に関する特別関心グループ）

• 公式サイト