''ACM Transactions on Computational Logic'' (''ACM TOCL'') is a scientific journal that aims to disseminate the latest findings of note in the field of

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and computational technology in the United States. The

editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

is Anuj Dawar (

University of Cambridge The University of Cambridge is a public collegiate research university in Cambridge, England. Founded in 1209 and granted a royal charter by Henry III in 1231, Cambridge is the world's third oldest surviving university and one of its most pr ...

). According to the ''

Journal Citation Reports ''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collec ...

'', the journal had a 2020

impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ...

of 0.625.

References

External links

*{{Official website, 1=http://tocl.acm.org/ Transactions on Computational Logic Computer science journals Logic in computer science

See also

References

External links