ACM Transactions on Computational Logic

Academic journal
ACM Transactions on Computational Logic
DisciplineComputational logic
LanguageEnglish
Edited byAnuj Dawar
Publication details
History2000–present
Publisher
ACM (United States)
FrequencyQuarterly
Impact factor
0.625 (2020)
Standard abbreviations
ISO 4 (alt) · Bluebook (alt1 · alt2)
NLM (alt) · MathSciNet (alt Paid subscription required)
ISO 4ACM Trans. Comput. Log.
Indexing
CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt)
MIAR · NLM (alt) · Scopus
ISSN1529-3785 (print)
1557-945X (web)
Links
  • Journal homepage
  • Online access
  • Online archive

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. 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 is Anuj Dawar (University of Cambridge).[1] According to the Journal Citation Reports, the journal had a 2020 impact factor of 0.625.[2]

See also

  • ACM SIGLOG, ACM's Special Interest Group on Computational Logic

References

  1. ^ "Editorial Board". Retrieved 2022-06-11.
  2. ^ "ACM Transactions on Computational Logic". 2020 Journal Citation Reports. Web of Science (Science ed.). Thomson Reuters. 2021.
  • Official website