Logical Methods in Computer Science
From Wikipedia, the free encyclopedia
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 license.
[edit] External links
- Logical Methods in Computer Science home page.