# Logical Methods in Computer Science

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Logical_Methods_in_Computer_Science
> Markdown URL: https://mediated.wiki/source/Logical_Methods_in_Computer_Science.md
> Source: https://en.wikipedia.org/wiki/Logical_Methods_in_Computer_Science
> Source revision: 1353233016
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

{{Infobox journal
| title = Logical Methods in Computer Science
| cover = 
| language = 
| editor = [Stefan Milius](/source/Stefan_Milius)
| discipline = [Theoretical computer science](/source/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](/source/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](/source/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](/source/peer-reviewed) [open access](/source/open_access) [scientific journal](/source/scientific_journal) covering [theoretical computer science](/source/theoretical_computer_science) and applied [logic](/source/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](/source/editor-in-chief) is Stefan Milius ([Friedrich-Alexander Universität Erlangen-Nürnberg](/source/Friedrich-Alexander-Universit%C3%A4t_Erlangen-N%C3%BCrnberg)).

== History ==

The journal was initially published by the International Federation for Computational Logic, and then by a dedicated non-profit. It moved to the [Episciences](/source/Episciences) 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](/source/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](/source/Current_Contents)/Engineering, Computing & Technology,<ref name=ISI>{{cite web |url=http://mjl.clarivate.com/ |title=Master Journal List |publisher=[Clarivate Analytics](/source/Clarivate_Analytics) |work=Intellectual Property & Science |accessdate=2018-04-10}}</ref> [Mathematical Reviews](/source/Mathematical_Reviews), [Science Citation Index Expanded](/source/Science_Citation_Index_Expanded),<ref name=ISI/> [Scopus](/source/Scopus),<ref name=Scopus>{{cite web |url=https://www.scopus.com/sourceid/19700175752 |title=Source details: Logical Methods in Computer Science |publisher=[Elsevier](/source/Elsevier) |work=Scopus preview |accessdate=2018-04-10}}</ref> and [Zentralblatt MATH](/source/Zentralblatt_MATH).<ref name=MATH>{{cite web |url=http://www.zentralblatt-math.org/serials/ |title=Serials Database |publisher=[Springer Science+Business Media](/source/Springer_Science%2BBusiness_Media) |work=[Zentralblatt MATH](/source/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](/source/Journal_Citation_Reports)'', the journal has a 2016 [impact factor](/source/impact_factor) of 0.661.<ref name=WoS>{{cite book |year=2017 |chapter=Logical Methods in Computer Science |title=[2016 Journal Citation Reports](/source/Journal_Citation_Reports) |publisher=[Clarivate Analytics](/source/Clarivate_Analytics) |edition=Science |series=[Web of Science](/source/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}}

---
Adapted from the Wikipedia article [Logical Methods in Computer Science](https://en.wikipedia.org/wiki/Logical_Methods_in_Computer_Science) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Logical_Methods_in_Computer_Science?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.