Close

Organisation profile

 

Contact information

Matematiktorvet
303 B
DK-2800
Kgs. Lyngby
Denmark
  • Phone: +45 4525 3031
View graph of relations

View all »

Prizes

(1)
  • Science of Computer Programming

    ISSNs: 0167-6423

    Additional searchable ISSN (Electronic): 1872-7964

    Elsevier B.V., Netherlands

    BFI (2019): BFI-level 2, Scopus rating (2018): CiteScore 1.45 SJR 0.317 SNIP 1.277, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Central database

    Journal

  • Journal of Logical and Algebraic Methods in Programming

    ISSNs: 2352-2208

    Elsevier, Denmark

    Scopus rating (2018): CiteScore 1.21 SJR 0.432 SNIP 1.156, Web of Science (2019): Indexed yes

    Local database

    Journal

  • Logical Methods in Computer Science

    ISSNs: 1860-5974

    Additional searchable ISSN (Electronic): 1860-5974

    International Federation for Computational Logic, Germany

    BFI (2019): BFI-level 2, Scopus rating (2018): CiteScore 1.07 SJR 0.459 SNIP 0.881, Web of Science (2019): Indexed yes, ISI indexed (2013): ISI indexed yes

    Indexed in DOAJ

    Central database

    Journal

Most downloaded publications

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 119690502