journal of logic and computation

在理论计算机科学领域，《LOGICAL METHODS IN COMPUTER SCIENCE》（LMCS）始终保持着金字塔尖的学术地位。这个创刊于2004年的开放获取期刊，最新影响因子已达2.815...