ACM Transactions on Computational Logic

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.

DisciplineComputational logic

LanguageEnglish

EditedbyAnuj Dawar

History2000–present

Quick facts Discipline, Language ...

ACM Transactions on Computational Logic

Discipline	Computational logic
Language	English
Edited by	Anuj Dawar
Publication details
History	2000–present
Publisher	ACM (United States)
Frequency	Quarterly
Impact factor	0.625 (2020)
Standard abbreviations ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt )
ISO 4	ACM Trans. Comput. Log.
Indexing CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus · W&L
ISSN	1529-3785 (print) 1557-945X (web)
Links
Journal homepage Online access Online archive

Close

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]