Logical Methods In Computer Science

*Logical Methods in Computer Science*
\|Subject \|Discipline}}	Theoretical computer science
Language	English
Edited by	Stefan Milius
Publication details
History	2005–present
Publisher	Logical Methods in Computer Science e.V.
Frequency	Quarterly
Open access	Yes
License	Creative Commons BY 4.0 (from around 2018), Creative Commons BY-ND (until around 2017)
Impact factor	0.661 (2016)
Standard abbreviations;
ISO 4	Log. Methods Comput. Sci.
Indexing
ISSN	1860-5974;
OCLC no.	897996717
Links
	Journal homepage; Online archive;

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.^[2] 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 Épisciences (fr). platform in 2017.^[3] The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.^[4]

Abstracting and indexing

The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,^[5] Mathematical Reviews, Science Citation Index Expanded,^[5] Scopus,^[6] and Zentralblatt MATH.^[7] According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.^[8]

References

↑ "Logical Methods in Computer Science - Copyright". 2018-05-01. https://lmcs.episciences.org/page/authors-copyright.
↑ "Gmane -- Mail To News And Back Again". 2005-11-29. http://article.gmane.org/gmane.science.mathematics.prooftheory/111.
↑ "Logical Methods in Computer Science - Home". 2017-02-22. http://lmcs.episciences.org/.
↑ rzach (2005-10-25). "Logical Methods in Computer Science" (in en-US). https://richardzach.org/2005/10/logical-methods-in-computer-science/.
↑ ^5.0 ^5.1 "Master Journal List". Intellectual Property & Science. Clarivate Analytics. http://mjl.clarivate.com/. Retrieved 2018-04-10.
↑ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. https://www.scopus.com/sourceid/19700175752. Retrieved 2018-04-10.
↑ "Serials Database". Zentralblatt MATH. Springer Science+Business Media. http://www.zentralblatt-math.org/serials/. Retrieved 2018-04-10.
↑ "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.

External links

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Logical Methods in Computer Science. Read more

[1] "Logical Methods in Computer Science - Copyright". 2018-05-01. https://lmcs.episciences.org/page/authors-copyright.

[2] "Gmane -- Mail To News And Back Again". 2005-11-29. http://article.gmane.org/gmane.science.mathematics.prooftheory/111.

[3] "Logical Methods in Computer Science - Home". 2017-02-22. http://lmcs.episciences.org/.

[4] rzach (2005-10-25). "Logical Methods in Computer Science" (in en-US). https://richardzach.org/2005/10/logical-methods-in-computer-science/.

[ISI-5] 5.0 ^5.1 "Master Journal List". Intellectual Property & Science. Clarivate Analytics. http://mjl.clarivate.com/. Retrieved 2018-04-10.

[Scopus-6] "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. https://www.scopus.com/sourceid/19700175752. Retrieved 2018-04-10.

[MATH-7] "Serials Database". Zentralblatt MATH. Springer Science+Business Media. http://www.zentralblatt-math.org/serials/. Retrieved 2018-04-10.

[WoS-8] "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017.