Anders Schlichtkrull

  1. AI Communications

    ISSNs: 0921-7126

    Additional searchable ISSN (Electronic): 1875-8452

    I O S Press, Netherlands

    BFI (2019): BFI-level 1, Scopus rating (2018): CiteScore 1 SJR 0.222 SNIP 0.608, Web of Science (2019): Indexed yes

    Central database

    Journal

  2. Archive of Formal Proofs

    ISSNs: 2150-914X

    SourceForge, United States

    Central database

    Journal: Book series

  3. Electronic Proceedings in Theoretical Computer Science

    ISSNs: 2075-2180

    Open Publishing Association, Australia

    Scopus rating (2018): CiteScore 0.53 SJR 0.305 SNIP 0.608, ISI indexed (2013): ISI indexed no, Web of Science (2019): Indexed yes

    Indexed in DOAJ

    Central database

    Journal

  4. IfCoLog Journal of Logics and their Applications

    ISSNs: 2055-3714

    College Publications

    Local database

    Journal

  5. Journal of Automated Reasoning

    ISSNs: 0168-7433

    Additional searchable ISSN (Electronic): 1573-0670

    Springer Netherlands, Netherlands

    BFI (2019): BFI-level 2, Scopus rating (2018): CiteScore 2.41 SJR 0.703 SNIP 2.022, Web of Science (2018): Impact factor 1.172

    Central database

    Journal

  6. Transactions on Large-Scale Data- and Knowledge-Centered Systems

    ISSNs: 1869-1994

    Additional searchable ISSN (Electronic): 2510-4942

    Springer Verlag

    BFI (2019): BFI-level 1

    Central database

    Journal

Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word