Logical Methods In Computer Science
oeuvre
revue scientifique sur la logique informatique
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logical_Methods_in_Computer_Science
Lien Wikidata : https://www.wikidata.org/wiki/Q13644986
Propriétés
- date_creation
- +2005-01-0
- pays
- Allemagne