ACM Transactions on Computational Logic

ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la logique informatique (en) ; elle est publiée par l'Association for Computing Machinery depuis 2000.

ACM Transactions on Computational Logic
Titre abrégé ACM Trans. Comput. Log.
Discipline Logique informatique
Rédacteur en chef Orna Kupferman
Publication
Période de publication depuis 2000
Facteur d’impact
d'après l'ISI 		0,731 (2017)
Fréquence trimestriel
Indexation
ISSN (papier) 1529-3785
ISSN (web) 1557-945X
Liens

Description

La rédactrice en chef est, en 2020, Orna Kupferman, de l'université hébraïque de Jérusalem[1].

TOCL publie des articles sur tous les aspects de la logique en rapport avec les sujets informatique. Cette thématique a une grande tradition en informatique. Plusieurs chercheurs ayant obtenu le prix Turing ont contribué à ce domaine, et pour certains ont publié dans cette revue. Les domaines de recherche couverts par la revue comprennent notamment :

Démonstration automatique de théorèmes, logique temporelle, vérification formelle, concurrence, programmation par contraintes, théorie des modèles finis, complexité de théories logiques, programmation fonctionnelle, lambda calcul, apprentissage automatique, logique floue, model checking, spécification de programmes, théorie de la démonstration, systèmes de réécriture, théorie des types.

Résumés et indexation

La revue est trimestrielle : elle publie un cahier tous les trois mois, les cahiers d'une année sont groupés en un volume. Les articles d'une même année sont numérotés consécutivement. La revue est indexée, et les résumés sont publiés notamment[2] dans Scopus (Elsevier) ou DBLP.

Le facteur d'impact sur Biobox est de 0,731 en 2017. Sur SCImago Journal Rank[3], il est de 0,57 en 2019.

Notes et références
  1. Présentation.
  2. Indexing.
  3. ACM Transactions on Computational Logic.

Liens externes

Article lié
  • ACM SIGLOG (en), Special Interest Group de l'ACM sur la logique informatique
  • Portail de l’informatique
  • Portail de la presse écrite
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.