{"version":"1.0","type":"link","title":"Logical Methods in Computer Science - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}