Logical Methods in Computer Science

942 papers and 5.5k indexed citations i.

The 942 papers published in Logical Methods in Computer Science in the last decades have received a total of 5.5k indexed citations. Papers published in Logical Methods in Computer Science usually cover Artificial Intelligence (736 papers), Computational Theory and Mathematics (701 papers) and Computer Networks and Communications (137 papers) specifically the topics of Logic, programming, and type systems (563 papers), Formal Methods in Verification (407 papers) and Logic, Reasoning, and Knowledge (357 papers). The most active scholars publishing in Logical Methods in Computer Science are Lars Birkedal, Alexander Kurz, Krishnendu Chatterjee, Matthew Hennessy and Ugo Dal Lago