A C M Transactions on Computational Logic

ISSNs: 1529-3785

Additional searchable ISSN (Electronic): 1557-945X

Association for Computing Machinery, Inc., United States

BFI (2018): BFI-level 2, Scopus rating (2017): SJR 0.573 SNIP 1.607, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Annals of Mathematics and Artificial Intelligence

ISSNs: 1012-2443

Additional searchable ISSN (Electronic): 1573-7470

Springer Netherlands, Netherlands

BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.413 SNIP 1.046, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Annals of Pure and Applied Logic

ISSNs: 0168-0072

Additional searchable ISSN (Electronic): 1873-2461

Elsevier BV, Netherlands

BFI (2018): BFI-level 2, Scopus rating (2017): SJR 1.38 SNIP 1.486, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Autonomous Agents and Multi-Agent Systems

ISSNs: 1387-2532

Additional searchable ISSN (Electronic): 1573-7454

Springer New York LLC, United States

BFI (2018): BFI-level 2, Scopus rating (2017): SJR 0.429 SNIP 1.53, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Bulletin of the European Association for Theoretical Computer Science

ISSNs: 0252-9742

European Association for Theoretical Computer Science, Greece

BFI (2018): BFI-level 1, ISI indexed (2013): ISI indexed no

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Additional searchable ISSN (Electronic): 1571-0661

Elsevier, Netherlands

BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.287 SNIP 0.578, ISI indexed (2013): ISI indexed no, Web of Science (2018): Indexed yes

Central database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180, 2075-2180

Open Publishing Association, Australia

ISI indexed (2013): ISI indexed no, Web of Science (2018): Indexed yes

Indexed in DOAJ

Central database

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

Additional searchable ISSN (Electronic): 1875-8681

I O S Press, Netherlands

BFI (2018): BFI-level 2, Scopus rating (2017): SJR 0.332 SNIP 0.744, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Journal of Applied Logic

ISSNs: 1570-8683

Additional searchable ISSN (Electronic): 1570-8691

Elsevier BV, Netherlands

BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.277 SNIP 1.149, ISI indexed (2013): ISI indexed yes, Web of Science (2018): Indexed yes

Central database

Journal

Journal of Applied Non-Classical Logics

ISSNs: 1166-3081

Additional searchable ISSN (Electronic): 1958-5780

Taylor & Francis, United Kingdom

BFI (2018): BFI-level 1, Scopus rating (2017): SJR 0.368 SNIP 0.985, ISI indexed (2013): ISI indexed no

Central database

Journal