imported>Smasongarrison: Moving from Category:Publications established in 2005 to Category:Academic journals established in 2005 using Cat-a-lot

2023-04-26T00:26:19Z

Moving from Category:Publications established in 2005 to Category:Academic journals established in 2005 using Cat-a-lot

New page

{{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<ref>{{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}}</ref>), [[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.<ref>{{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}}</ref> The [[editor-in-chief]] is Stefan Milius ([[Friedrich-Alexander-Universität Erlangen-Nürnberg|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.<ref>{{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}}</ref> The first editor-in-chief was [[Dana Scott]]. In its first year, the journal received 75 submissions.<ref>{{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}}</ref>

==Abstracting and indexing==
The journal is abstracted and indexed in [[Current Contents]]/Engineering, Computing & Technology,<ref name=ISI>{{cite web |url=http://mjl.clarivate.com/ |title=Master Journal List |publisher=[[Clarivate Analytics]] |work=Intellectual Property & Science |accessdate=2018-04-10}}</ref> [[Mathematical Reviews]], [[Science Citation Index Expanded]],<ref name=ISI/> [[Scopus]],<ref name=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}}</ref> and [[Zentralblatt MATH]].<ref name=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 }}</ref> According to the ''[[Journal Citation Reports]]'', the journal has a 2016 [[impact factor]] of 0.661.<ref name=WoS>{{cite book |year=2017 |chapter=Logical Methods in Computer Science |title=[[Journal Citation Reports|2016 Journal Citation Reports]] |publisher=[[Clarivate Analytics]] |edition=Science |series=[[Web of Science]]}}</ref>

==References==
{{reflist}}

==External links==
*{{Official website|https://lmcs.episciences.org}}

[[Category:Academic journals established in 2005]]
[[Category:Computer science journals]]
[[Category:Open access journals]]
[[Category:Logic journals]]
[[Category:Logic in computer science]]
[[Category:Formal methods publications]]
[[Category:Quarterly journals]]
[[Category:English-language journals]]

{{compu-journal-stub}}

Logical Methods in Computer Science - Revision history

imported>Smasongarrison: Moving from Category:Publications established in 2005 to Category:Academic journals established in 2005 using Cat-a-lot