Electronic Notes in Theoretical Computer Science

5.0k papers and 33.0k indexed citations i.

The 5.0k papers published in Electronic Notes in Theoretical Computer Science in the last decades have received a total of 33.0k indexed citations. Papers published in Electronic Notes in Theoretical Computer Science usually cover Artificial Intelligence (3.4k papers), Computational Theory and Mathematics (2.7k papers) and Software (1.1k papers) specifically the topics of Logic, programming, and type systems (2.1k papers), Formal Methods in Verification (1.8k papers) and Logic, Reasoning, and Knowledge (1.2k papers). The most active scholars publishing in Electronic Notes in Theoretical Computer Science are José Meseguer, John Power, Ugo Montanari, Reiko Heckel and Claude Kirchner