ACM Transactions on Computational Logic

612 papers and 7.2k indexed citations i.

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