HOME

TheInfoList



Click Here for Items Related To - ACM Transactions on Computational Logic
OR:
ACM Transactions on Computational Logic on:   [Wikipedia]   [Google]   [Amazon]

''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 The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
, 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 , mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Schola ...
). 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 Collect ...
'', 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 i ...
of 0.625.


See also

*
ACM SIGLOG ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (''SIGLOG News''), and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its flag ...
, ACM's Special Interest Group on Computational Logic


References


External links

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