Logical Methods in Computer Science

Logical Methods in Computer Science
Titre abrégé	Log. Methods Comput. Sci.
Discipline	Informatique théorique
Langue	anglais
Rédacteur en chef	Lars Birkedal (en)
Publication
Maison d’édition	Logical Methods in Computer Science e.V.
Période de publication	2005 – maintenant
Facteur d’impact	0,661 (2016)
Fréquence	trimestriel
Libre accès	oui
Indexation
ISSN	1860-5974
OCLC	897996717
Liens
http://www.lmcs-online.org/ https://lmcs.episciences.org/browse/regularissues (archives)
modifier

Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logique. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications.

Les thèmes couverts par le journal sont notamment^[1] :

Le journal est répertorié dans Current Contents/Engineering, Computing & Technology^[2], Mathematical Reviews, Science Citation Index^[2], Scopus^[3], DBLP^[4] et Zentralblatt MATH^[5]. D'après le Journal Citation Reports, la revue a en 2016 un facteur d'impact de 0,661^[6] ; le même facteur d'impact est donné par Journal Impact.

• Site officiel
• Ressources relatives à la recherche :
  • Directory of Open Access Journals
  • Mir@bel
  • Scopus
• Notices d'autorité :

  • WorldCat

• Portail de l'informatique théorique