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.

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