ACM Transactions on Computational Logic

Category:Articles with short descriptionCategory:Short description is different from Wikidata
ACM Transactions on Computational Logic
DisciplineComputational logic
LanguageEnglish
Edited byAnuj Dawar
Publication details
History2000–present
Publisher
ACM (United States)
FrequencyQuarterlyCategory:Quarterly journals (infobox)
0.625 (2020)
Standard abbreviations
ISO 4ACM Trans. Comput. Log.
Indexing
ISSN1529-3785 (print)
1557-945X (web)
Links
Category:Articles with outdated impact factors from 2020

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

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.
Category:Association for Computing Machinery academic journals#Transactions%20on%20Computational%20Logic Category:Computer science journals Category:Logic in computer science
Category:Articles with outdated impact factors from 2020 Category:Articles with short description Category:Association for Computing Machinery academic journals Category:Computer science journals Category:Logic in computer science Category:Quarterly journals (infobox) Category:Short description is different from Wikidata