Logical Methods in Computer Science is a peer-reviewed journal in theoretical computer science and applied logic founded in 2004. It is significant in two principal respects: it has a distinguished editorial board with Dana Scott as Editor-in-Chief, and is open access as it makes its content available through a Creative Commons-Attribution No Derivatives license.
External links[]
- Logical Methods in Computer Science home page.
Template:Sci-journal-stub Template:Compu-stub zh:電腦科學邏輯方法期刊