ACM Transactions on Computational Logic (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.
Journal Home:  Journal Homepage
Editor-in-Chief:  Orna Kupferman
scope: TOCL welcomes submissions related to all aspects of logic as it pertains to topics in computer science. This area has a great tradition in computer science
Print ISSN:  1529-3785
Electronic ISSN:  1557-945X
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  0.898
Subject Area and Category:  Computer Science,Computational Mathematics,Theoretical Computer Science
Publication Frequency:  Quarterly
H Index:  49
Q1:  Computer Science,Computational Mathematics,Theoretical Computer Science
Q2:  
Q3:  
Q4:  
Cite Score:  2.6
SNIP:  0.987
Journal Rank(SJR):  0.755
Latest Articles:   Latest Articles in ACM Transactions on Computational Logic
Guidelines for Authors: ACM Transactions on Computational Logic Author Guidelines
Paper Submissions: Paper Submissions in ACM Transactions on Computational Logic
Publisher:  ACM-Association for Computing Machinery New York
Country:  USA