Logical Methods in Computer Science
Template:Main otherTemplate:Namespace detectScript error: No such module "Infobox".Template:Template otherTemplate:Main otherTemplate:Main otherTemplate:Main otherScript error: No such module "Check for unknown parameters". Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It opened to submissions on September 1, 2004.[1] The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg).
History
The journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the Template:Ill. platform in 2017.[2] The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.[3]
Abstracting and indexing
The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,[4] Mathematical Reviews, Science Citation Index Expanded,[4] Scopus,[5] and Zentralblatt MATH.[6] According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.[7]
References
External links
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ a b Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".