View source for 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 = [[Organization:Creative Commons|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>), [[Organization:Creative Commons|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|open access]] [[Scientific journal|scientific journal]] covering [[Theoretical computer science|theoretical computer science]] and applied [[Logic|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 [[Social:Editor-in-chief|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.<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 [[Biography:Dana Scott|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=[[Company:Clarivate Analytics|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=[[Company:Elsevier|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=[[Company:Springer Science+Business Media|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|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=[[Company:Clarivate Analytics|Clarivate Analytics]] |edition=Science |series=Web of Science}}</ref>

==References==
{{reflist}}

==External links==

[[Category:Computer science journals]]
[[Category:Logic in computer science]]



{{Sourceattribution|Logical Methods in Computer Science}}