Diario académico
Logical Methods in Computer Science (LMCS) es una revista científica de acceso abierto revisada por pares que cubre la informática teórica y la lógica aplicada . Se abrió a presentaciones el 1 de septiembre de 2004. [2] El editor en jefe es Stefan Milius ( Friedrich-Alexander Universität Erlangen-Nürnberg ).
Historia
La revista fue publicada inicialmente por la Federación Internacional de Lógica Computacional y luego por una organización sin fines de lucro dedicada. Se trasladó a las Épisciences [fr] . plataforma en 2017. [3] La primera editora en jefe fue Dana Scott . En su primer año, la revista recibió 75 presentaciones. [4]
Resumen e indexación
La revista está resumida e indexada en Current Contents /Engineering, Computing & Technology, [5] Mathematical Reviews , Science Citation Index Expanded , [5] Scopus , [6] y Zentralblatt MATH . [7] Según Journal Citation Reports , la revista tiene un factor de impacto en 2016 de 0,661. [8]
Referencias
- ^ "Métodos lógicos en informática - Copyright". 2018-05-01. Archivado desde el original el 1 de mayo de 2018 . Consultado el 18 de enero de 2022 .
- ^ "Gmane: enviar por correo a noticias y viceversa". 2005-11-29. Archivado desde el original el 29 de noviembre de 2005 . Consultado el 18 de enero de 2022 .
- ^ "Métodos lógicos en informática - Inicio". 2017-02-22. Archivado desde el original el 22 de febrero de 2017 . Consultado el 18 de enero de 2022 .
- ^ rzach (25 de octubre de 2005). "Métodos lógicos en informática". Richard Zach . Consultado el 18 de enero de 2022 .
- ^ ab "Lista de revistas maestras". Propiedad intelectual y ciencia . Clarivar análisis . Consultado el 10 de abril de 2018 .
- ^ "Detalles de la fuente: métodos lógicos en informática". Vista previa de Scopus . Elsevier . Consultado el 10 de abril de 2018 .
- ^ "Base de datos de publicaciones seriadas". Zentralblatt MATEMÁTICAS . Springer Ciencia + Medios comerciales . Archivado desde el original el 7 de noviembre de 2017 . Consultado el 10 de abril de 2018 .
- ^ "Métodos lógicos en informática". Informes de citas de revistas de 2016 . Web of Science (edición científica). Clarivar análisis . 2017.
enlaces externos
