Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
ACM Transactions on Computational Logic
open-in-new
<p><i>ACM Transactions on Computational Logic</i> (<i>ACM TOCL</i>) is a scientific journal that aims to disseminate the latest findings of note in the field of <a href="/facts/Logic_in_computer_science/j7qwgDmc">logic in computer science</a>. It is published by the <a href="/facts/Association_for_Computing_Machinery/abI2atlP">Association for Computing Machinery</a>, a premier scientific and educational society on computer science and computational technology in the United States. </p><p>The <a href="/facts/Editor-in-chief/d76Qb3Tr">editor-in-chief</a> is Anuj Dawar (<a href="/facts/University_of_Cambridge/0la7aX9o">University of Cambridge</a>). According to the <i><a href="/facts/Journal_Citation_Reports/H13uyJqD">Journal Citation Reports</a></i>, the journal had a 2020 <a href="/facts/Impact_factor/CamGH5MQ">impact factor</a> of 0.625. </p>