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
side by side view
Countries where authors publish in ACM Transactions on Computational Logic
Since SpecializationTotal citations of papers
Explore journals with similar magnitude of impact
Breakdown of academic impact, for papers in Journal of the European Optical Society Rapid Publications Breakdown of academic impact, for papers in Psychosocial Intervention Breakdown of academic impact, for papers in Microscopy Breakdown of academic impact, for papers in Proceedings of the Institution of Mechanical Engineers Part K Journal of Multi-body Dynamics Breakdown of academic impact, for papers in IEEE Transactions on Signal and Information Processing over Networks Breakdown of academic impact, for papers in Seminars in Cardiothoracic and Vascular Anesthesia Breakdown of academic impact, for papers in Knowledge and Management of Aquatic Ecosystems Breakdown of academic impact, for papers in International Journal of Energy Sector Management