Journal of Logic and Computation
revue scientifique De Wikipédia, l'encyclopédie libre
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 | 0,803 (2019) |
| Fréquence | bimestriel |
| Libre accès | non |
| Indexation | |
| ISSN (papier) | 0955-792X |
| ISSN (web) | 1465-363X |
| Liens | |
modifier  |
|
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.
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.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
