L'importance de Logical Methods in Computer Science fait l'objet de débats et de réflexions depuis des années. Logical Methods in Computer Science a eu un impact significatif sur de multiples aspects de la société et de la vie quotidienne. Depuis son émergence, Logical Methods in Computer Science suscite l’intérêt et la curiosité des experts de différents domaines, ainsi que de la population en général. Dans cet article, nous explorerons le contexte de Logical Methods in Computer Science, son évolution au fil du temps et sa pertinence aujourd'hui. De même, nous analyserons les éventuelles implications futures de Logical Methods in Computer Science et son influence dans différents domaines.
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 | |
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 :
Le journal est répertorié dans Current Contents/Engineering, Computing & Technology, Mathematical Reviews, Science Citation Index, Scopus, DBLP et Zentralblatt MATH. D'après le Journal Citation Reports, la revue a en 2016 un facteur d'impact de 0,661 ; le même facteur d'impact est donné par Journal Impact.