Transacciones ACM sobre lógica computacional
| Disciplina | Lógica computacional |
|---|---|
| Idioma | Inglés |
| Editado por | Anuj Dawar |
| Detalles de la publicación | |
| Historia | 2000-presente |
| Editor | ACM (Estados Unidos) |
| Frecuencia | Trimestral |
| 0,625 (2020) | |
| Abreviaturas estándar ISO 4 (alt) · Bluebook (alt) NLM (alt) · MathSciNet (alt  ) | |
| ISO 4 | Registro computacional de transacciones ACM |
| Indexación CODEN (alt · alt2) · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus | |
| ISSN | 1529-3785 (impreso) 1557-945X (web) |
| Campo de golf | |
| |
ACM Transactions on Computational Logic ( ACM TOCL ) es una revista científica que tiene como objetivo difundir los últimos hallazgos de interés en el campo de la lógica en la informática . Es publicada por la Association for Computing Machinery , una sociedad científica y educativa de primer nivel sobre informática y tecnología computacional en los Estados Unidos.
El editor en jefe es Anuj Dawar ( Universidad de Cambridge ). [1] Según Journal Citation Reports , la revista tuvo un factor de impacto en 2020 de 0,625. [2]
Véase también
- ACM SIGLOG , Grupo de interés especial de ACM en lógica computacional
Referencias
- ^ "Consejo editorial" . Consultado el 11 de junio de 2022 .
- ^ "Transacciones ACM sobre lógica computacional". 2020 Journal Citation Reports . Web of Science (edición científica). Thomson Reuters . 2021.
Enlaces externos
- Sitio web oficial
