Accueil🇫🇷Chercher

Logical Methods in Computer Science

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.

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

Thèmes

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

Résumés et indexation

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.

Notes et références

  1. « À propos » sur Logical Methods in Computer Science.
  2. « Master Journal List », Intellectual Property & Science, Clarivate Analytics (consulté le ).
  3. « Source details: Logical Methods in Computer Science », Scopus preview, Elsevier (consulté le ).
  4. Logical Methods in Computer Science su DBLP.
  5. « Serials Database », Zentralblatt MATH, Springer Science+Business Media (consulté le ).
  6. 2016 Journal Citation Reports, Clarivate Analytics, coll. « Web of Science », , « Logical Methods in Computer Science ».

Lien externe

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.