Table of Contents Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Logical Methods in Computer Science

From HandWiki - Reading time: 2 min
Logical Methods in Computer Science  
|Subject |Discipline}}Theoretical computer science
LanguageEnglish
Edited byStefan Milius
Publication details
History2005–present
Publisher
Logical Methods in Computer Science e.V.
FrequencyQuarterly
Yes
LicenseCreative Commons BY 4.0 (from around 2018[1]), Creative Commons BY-ND (until around 2017)
0.661 (2016)
Standard abbreviations
ISO 4Log. Methods Comput. Sci.
Indexing
ISSN1860-5974
OCLC no.897996717
Links

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

  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/. 
  5. ↑ 5.0 5.1 "Master Journal List". Intellectual Property & Science. Clarivate Analytics. http://mjl.clarivate.com/. Retrieved 2018-04-10. 
  6. ↑ "Source details: Logical Methods in Computer Science". Scopus preview. Elsevier. https://www.scopus.com/sourceid/19700175752. Retrieved 2018-04-10. 
  7. ↑ "Serials Database". Zentralblatt MATH. Springer Science+Business Media. http://www.zentralblatt-math.org/serials/. Retrieved 2018-04-10. 
  8. ↑ "Logical Methods in Computer Science". 2016 Journal Citation Reports. Web of Science (Science ed.). Clarivate Analytics. 2017. 

External links




Retrieved from "https://handwiki.org/wiki/index.php?title=Logical_Methods_in_Computer_Science&oldid=113592"
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Logical_Methods_in_Computer_Science
19 views | Status: cached on July 14 2024 16:35:21
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF