Logical Methods in Computer Science

Titre abrégé  | Log. Methods Comput. Sci.
Discipline | Informatique théorique
Langue  | anglais
Rédacteur en chef | Lars Birkedal (en)
Publication
Maison d’édition  | Logical Methods in Computer Science e.V.
Période de publication  | 2005 – maintenant
Facteur d’impact | 0,661 (2016)
Fréquence  | trimestriel
Libre accès | oui
Indexation
ISSN | 1860-5974
OCLC | 897996717
Liens

* http://www.lmcs-online.org/
* https://lmcs.episciences.org/browse/regularissues (archives)

modifier

Logical Methods in Computer Science est une revue scientifique en libre accès à évaluation par les pairs, couvrant des thèmes en informatique théorique et en logique. Elle a été créée en 2005. Le rédacteur en chef est Lars Birkedal, de l'université d'Aarhus. La revue est publiée sous la forme d'une superposition du CoRR (« Computing Research Repository »), c'est-à-dire la partie informatique d'arXiv. Ceci garantit la pérennité des publications.

## Thèmes

[modifier | modifier le code]

Les thèmes couverts par le journal sont notamment[1] :

* Analyse de programmes et contrôle de types
* Automates et logique
* Calculabilité et logique
* Complexité des preuves
* Déduction automatique
* Développement et spécification de programmes
* Logique des programmes
* Logique et algorithmes
* Logique et complexité
* Logique et jeux
* Logique et probabilité
* Logique inductive et apprentissage
* Logique pour la représentation des connaissances
* Logiques modales et temporelles
* Mathématiques formalisées
* Méthodes algébriques
* Méthodes co-algebriques
* Modèles catégoriques et logiques
* Programmation fonctionnelle et lambda calcul
* Programmation logique
* Programmation par contraintes
* Raisonnement révisable
* Raisonnement sur les actions et la planification
* Réécriture de termes et logique équationnelle
* Satisfaisabilité
* Sécurité
* Sémantique des langages de programmation
* Sujets émergents : Systèmes informatiques en biologie
* Sujets émergents : Calcul quantique et logique
* Systèmes cyber-physiques
* Systèmes temps réel et hybrides
* Théorie de la concurrence
* Théorie des bases de données
* Théorie des domaines
* Théorie des modèles finis
* Théorie des types et mathématiques constructives
* Vérification assistée par ordinateur
* Vérification interactive des preuves

## Résumés et indexation

[modifier | modifier le code]

Le journal est répertorié dans Current Contents/Engineering, Computing & Technology[2], Mathematical Reviews, Science Citation Index[2], Scopus[3], DBLP[4] et Zentralblatt MATH[5]. D'après le Journal Citation Reports, la revue a en 2016 un facteur d'impact de 0,661[6] ; le même facteur d'impact est donné par Journal Impact.

## Notes et références

[modifier | modifier le code]

1. ↑ « À propos » sur Logical Methods in Computer Science.
2. ↑ a et b « Master Journal List », Intellectual Property & Science, Clarivate Analytics (consulté le 10 avril 2018).
3. ↑ « Source details: Logical Methods in Computer Science », Scopus preview, Elsevier (consulté le 10 avril 2018).
4. ↑ Logical Methods in Computer Science  su DBLP.
5. ↑ « Serials Database », Zentralblatt MATH, Springer Science+Business Media (consulté le 10 avril 2018).
6. ↑ 2016 Journal Citation Reports, Clarivate Analytics, coll. « Web of Science », 2017, « Logical Methods in Computer Science ».

## Lien externe

[modifier | modifier le code]

* Site officiel
* Ressources relatives à la recherche :
* Directory of Open Access Journals
* Excellence in Research for Australia
* Julkaisufoorumi
* Mir@bel
* Scopus
*   * Notices d'autorité :
* WorldCat

* Portail de l'informatique théorique

*[coll.]: collection