Logical Methods in Computer Science英文简介

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Logical Methods in Computer Science中文简介

《计算机科学中的逻辑方法》是一本全面参考、开放存取、免费的电子期刊。欢迎关于计算机科学的理论和实践领域的论文，涉及广义的逻辑方法;下面列出了其范围内的一些特定领域。论文的评审采用传统的方式，每篇论文有两名或两名以上的评审人员。版权归作者所有。

Logical Methods in Computer Science中科院分区

Logical Methods in Computer ScienceJCR分区