Journal of Logic and Computation

Journal of Logic and Computation est une revue scientifique à évaluation par les pairs spécialisée dans la publication d'articles en logique mathématique et en informatique théorique et ses domaines connexes. La revue a été créée en 1990 ; elle est publiée par Oxford University Press sous licence de Dov Gabbay, propriétaire du journal.

Journal of Logic and Computation
Titre abrégé J. Log. Comput.
Discipline Informatique, logique
Langue anglais
Rédacteur en chef Dov Gabbay
Publication
Maison d’édition Oxford University Press
Période de publication depuis 1990
Facteur d’impact
d'après l'ISI
0,803 (2019)
Fréquence bimestriel
Libre accès non
Indexation
ISSN (papier) 0955-792X
ISSN (web) 1465-363X
Liens

Description

Le Journal of Logic and Computation publie des articles sur les systèmes logiques, tels que la logique classique et non classique, la logique constructive, la logique catégorique, la logique modale, la théorie des types, les mathématiques réalisables, ainsi que la programmation logique, les systèmes basés sur la connaissance et le raisonnement automatisé, la représentation de la connaissance, le raisonnement non monotone, la logique et sémantique de la programmation ; spécification et vérification des programmes et des systèmes et les applications de la logique dans le matériel informatique, le langage naturel, le calcul simultané, la planification et les bases de données.

Le journal paraît sur la base d'un volume annuel composé de 6 numéros bimestriels. Des numéros spéciaux peuvent s'ajouter, contenant les actes de conférences ou de workshops.

Indexation

Les articles du journal sont résumés et indexés par les bases de données usuelles de Oxford University Press, et notamment Current Contents, Journal Citation Reports, Mathematical Reviews, Science Citation Index, Scopus, DBLP et Zentralblatt MATH.

D'après SCImago Journal Rank[1] le facteur d'impact est 0,79 en 2019. Le journal se classe dans le premier quartile de la catégorie Arts and Humanities. Sur la page de la revue, le facteur d'impact est 0,803.

Notes et références

Liens externes

  • Portail des mathématiques
  • Portail de l'informatique théorique
  • 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.