ACM Transactions on Computational Logic
About
The 612 papers published in ACM Transactions on Computational Logic in the last decades have received a total of 7.2k indexed citations.
Papers published in ACM Transactions on Computational Logic usually cover Artificial Intelligence (520 papers), Computational Theory and Mathematics (431 papers) and Computer Networks and Communications (104 papers) specifically the topics of Logic, Reasoning, and Knowledge (350 papers), Logic, programming, and type systems (339 papers) and Formal Methods in Verification (263 papers). The most active scholars publishing in ACM Transactions on Computational Logic are Yuri Gurevich, Andreas Blass, V. S. Subrahmanian, Thomas Eiter and Thomas A. Henzinger
In The Last Decade
Explore journals with similar magnitude of impact
Top journals impacted by papers in Clinical and investigative medicine Top countries impacted by papers in South African Journal of Chemical Engineering Top countries impacted by papers in Recycling Top fields papers in Critical Asian Studies are covering Top countries impacted by papers in Journal of Adolescent and Young Adult Oncology Top journals impacted by papers in Cancer Informatics Top journals impacted by papers in IEEE Open Journal of the Communications Society Top countries impacted by papers in Journal of Community Practice