| Transações ACM em lógica computacional | |
| Título curto | ACM Trans. Comput. Registro. |
|---|---|
| Disciplinado | Lógica do computador |
| Língua | |
| Editor chefe | Orna Kupferman |
| Publicação | |
| Editora | |
| Período de publicação | desde 2000 |
|
Fator de impacto de acordo com ISI |
0,731 (2017) |
| Frequência | trimestral |
| Indexação | |
| ISSN (papel) | 1529-3785 |
| ISSN (web) | 1557-945X |
| Conexões | |
ACM Transactions on Computational Logic (abreviado TOCL ) é uma revista científica trimestral para pares no campo da lógica computacional (in) ; foi publicado pela Association for Computing Machinery desde 2000.
O editor-chefe em 2020 é Orna Kupferman, da Universidade Hebraica de Jerusalém .
TOCL publica artigos sobre todos os aspectos da lógica relacionados a tópicos de computação. Este tema tem grande tradição em TI. Vários pesquisadores que ganharam o Prêmio Turing contribuíram para esse campo e alguns publicaram nesta revista. As áreas de pesquisa cobertas pela revista incluem:
Prova automática de teoremas , lógica temporal , verificação formal , simultaneidade , programação de restrição , teoria do modelo finito , complexidade de teorias lógicas, programação funcional , cálculo lambda , aprendizado de máquina , lógica difusa , verificação de modelo , especificação de programa, teoria da prova , sistemas de reescrita , tipo teoria .
A revisão é trimestral: publica um caderno a cada três meses, os cadernos de um ano são agrupados em um volume. Os artigos do mesmo ano são numerados consecutivamente. A revista é indexada e os resumos são publicados em particular na Scopus (Elsevier) ou DBLP .
O fator de impacto no Biobox é de 0,731 em 2017. No SCImago Journal Rank , é de 0,57 em 2019.