Logical Methods in Computer Science
{{Infobox journal
| title = Logical Methods in Computer Science
| cover =
| language =
| editor = Stefan Milius
| discipline = Theoretical computer science
| caption =
| former_name =
| abbreviation = Log. Methods Comput. Sci.
| publisher = Logical Methods in Computer Science e.V.
| country =
| frequency = Quarterly
| history = 2005–present
| openaccess = Yes
| license = Creative Commons BY 4.0 (from around 2018{{Cite web |date=2018-05-01 |title=Logical Methods in Computer Science - Copyright |url=https://lmcs.episciences.org/page/authors-copyright |access-date=2022-01-18 |website= |archive-url=https://web.archive.org/web/20180501161241/https://lmcs.episciences.org/page/authors-copyright |archive-date=1 May 2018 |url-status=dead}}), Creative Commons BY-ND (until around 2017)
| impact = 0.661
| impact-year = 2016
| website = https://lmcs.episciences.org/
| link1 =
| link1-name =
| link2 = https://lmcs.episciences.org/browse/regularissues
| link2-name = Online archive
| JSTOR =
| OCLC = 897996717
| LCCN =
| CODEN =
| ISSN =
| eISSN = 1860-5974
}}
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.{{Cite web |date=2005-11-29 |title=Gmane -- Mail To News And Back Again |url=http://article.gmane.org/gmane.science.mathematics.prooftheory/111 |access-date=2022-01-18 |website= |archive-url=https://web.archive.org/web/20051129125228/http://article.gmane.org/gmane.science.mathematics.prooftheory/111 |archive-date=29 November 2005 |url-status=dead}} 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 {{ill|Épisciences|fr|Épisciences.org}}. platform in 2017.{{Cite web |date=2017-02-22 |title=Logical Methods in Computer Science - Home |url=http://lmcs.episciences.org/ |access-date=2022-01-18 |website= |archive-url=https://web.archive.org/web/20170222231314/http://lmcs.episciences.org/ |archive-date=22 February 2017 |url-status=dead}} The first editor-in-chief was Dana Scott. In its first year, the journal received 75 submissions.{{Cite web|last=rzach|date=2005-10-25|title=Logical Methods in Computer Science|url=https://richardzach.org/2005/10/logical-methods-in-computer-science/|access-date=2022-01-18|website=Richard Zach|language=en-US}}
Abstracting and indexing
The journal is abstracted and indexed in Current Contents/Engineering, Computing & Technology,{{cite web |url=http://mjl.clarivate.com/ |title=Master Journal List |publisher=Clarivate Analytics |work=Intellectual Property & Science |accessdate=2018-04-10}} Mathematical Reviews, Science Citation Index Expanded, Scopus,{{cite web |url=https://www.scopus.com/sourceid/19700175752 |title=Source details: Logical Methods in Computer Science |publisher=Elsevier |work=Scopus preview |accessdate=2018-04-10}} and Zentralblatt MATH.{{cite web |url=http://www.zentralblatt-math.org/serials/ |title=Serials Database |publisher=Springer Science+Business Media |work=Zentralblatt MATH |accessdate=2018-04-10 |archive-url=https://web.archive.org/web/20171107055348/https://www.zentralblatt-math.org/serials/ |archive-date=2017-11-07 |url-status=dead }} According to the Journal Citation Reports, the journal has a 2016 impact factor of 0.661.{{cite book |year=2017 |chapter=Logical Methods in Computer Science |title=2016 Journal Citation Reports |publisher=Clarivate Analytics |edition=Science |series=Web of Science}}
References
{{reflist}}
External links
- {{Official website|https://lmcs.episciences.org}}
Category:Academic journals established in 2005
Category:Computer science journals
Category:Logic in computer science
Category:Formal methods publications
Category:English-language journals
{{compu-journal-stub}}