Métodos lógicos em ciência da computação | |
Título curto | Registro. Methods Comput. Sci. |
---|---|
Disciplinado | Ciência da Computação Teórica |
Língua | inglês |
Editor chefe | Lars Birkedal (en) |
Publicação | |
Editora | Métodos lógicos em ciência da computação eV |
Período de publicação | 2005 - agora |
Fator de impacto de acordo com ISI |
0,661 (2016) |
Frequência | trimestral |
Acesso livre | sim |
Indexação | |
ISSN | 1860-5974 |
OCLC | 897996717 |
Conexões | |
Métodos lógicos em Ciência da Computação é uma revista em acesso aberto para avaliação pelos pares , cobrindo tópicos em ciência da computação teórica e lógica . Foi estabelecido em 2005. O editor-chefe é Lars Birkedal, Aarhus University . A revista é publicada como uma sobreposição do CoRR ( " Computing Research Repository " ), ou seja, a parte de TI do arXiv . Isso garante a sustentabilidade das publicações.
Os tópicos abordados pela revista incluem:
A revista está listada em Conteúdo Atual / Engenharia, Computação e Tecnologia, Revisões Matemáticas , Índice de Citação Científica , Scopus , DBLP e Zentralblatt MATH . De acordo com o Journal Citation Reports , o periódico tem um fator de impacto de 0,661 em 2016; o mesmo fator de impacto é dado pelo Journal Impact .