Francais | English | Espanõl

Logical Methods in Computer Science

From Wikipedia, the free encyclopedia

Jump to: navigation, search

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

zh:電腦科學邏輯方法期刊
Personal tools