ACM Transactions on Computational Logic ( ACM TOCL ) es una revista científica que tiene como objetivo difundir los últimos hallazgos notables en el campo de la lógica en la informática . Es publicado por la Association for Computing Machinery , una de las principales sociedades científicas y educativas sobre informática y tecnología computacional en los Estados Unidos.
Disciplina | Lógica computacional |
---|---|
Idioma | inglés |
Editado por | Orna Kupferman |
Detalles de la publicación | |
Historia | 2000-presente |
Editor | ACM (Estados Unidos) |
Frecuencia | Trimestral |
Abreviaturas estándarISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | ACM Trans. Computación. Tronco. |
IndexaciónCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
ISSN | 1529-3785 (impresión) 1557-945X (web) |
Enlaces | |
Ver también
- ACM SIGLOG , Grupo de interés especial de ACM en lógica computacional