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-Attribution No Derivatives license.
[edit] External links
- Logical Methods in Computer Science home page.
 This article about a scientific journal is a stub. You can help Wikipedia by expanding it. |
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
