電腦科學邏輯方法期刊

維基百科,自由的百科全書
電腦科學邏輯方法期刊
(Logical Methods in Computer Science)
學科理論計算機科學
語言英語
主編達納·斯科特
出版資訊
出版歷史2005年-目前
發行週期季刊
標準縮寫
ISO 4LMCS
索引
ISSN1860-5974
連結

電腦科學邏輯方法期刊(Logical Methods in Computer Science)創辦於2004年是一份屬於理論計算與應用邏輯同行評審科學期刊(Scientific journal)。本期刊顯示出兩個主要的的特點:以達納·史考特為總主編的優秀編輯群,經由創作共用的許可使刊物內容以開放獲取的方式發行。

參見[編輯]

外部連結[編輯]