ACM Transactions on Computational Logic ( ACM TOCL ) es una revista científica que tiene como objetivo difundir los últimos hallazgos destacados en el campo de la lógica en la informática . Lo publica la Association for Computing Machinery , una sociedad científica y educativa de primer nivel en ciencias de la computación y tecnología computacional en los Estados Unidos.
El editor jefe es Anuj Dawar ( Universidad de Cambridge ). [1] Según Journal Citation Reports , la revista tuvo un factor de impacto en 2020 de 0,625. [2]