A C M Transactions on Computational Logic

ISSNs: 1529-3785

Additional searchable ISSN (Electronic): 1557-945X

Association for Computing Machinery, Inc., United States

BFI (2017): BFI-level 2, Scopus rating (2015): SJR 0.985 SNIP 2.095, ISI indexed (2013): ISI indexed yes

Central database

Journal

Annals of Mathematics and Artificial Intelligence

ISSNs: 1012-2443

Additional searchable ISSN (Electronic): 1573-7470

Springer Netherlands, Netherlands

BFI (2017): BFI-level 1, Scopus rating (2015): SJR 0.593 SNIP 1.24, ISI indexed (2013): ISI indexed yes

Central database

Journal

Annals of Pure and Applied Logic

ISSNs: 0168-0072

Additional searchable ISSN (Electronic): 1873-2461

Elsevier BV, Netherlands

BFI (2017): BFI-level 2, Scopus rating (2015): SJR 1.19 SNIP 1.335, ISI indexed (2013): ISI 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 (2017): BFI-level 2, Scopus rating (2015): SJR 0.853 SNIP 2.039, ISI indexed (2013): ISI indexed yes

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

BFI (2017): BFI-level 1, Scopus rating (2015): SJR 0.462 SNIP 0.885, ISI indexed (2013): ISI indexed no

Central database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180, 2075-2180

Open Publishing Association, Australia

ISI indexed (2013): ISI indexed no

Indexed in DOAJ

Central database

Journal

European Association for Theoretical Computer Science. Bulletin

ISSNs: 0252-9742

European Association for Theoretical Computer Science, Greece

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

Central database

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

Additional searchable ISSN (Electronic): 1875-8681

I O S Press, Netherlands

BFI (2017): BFI-level 2, Scopus rating (2015): SJR 0.526 SNIP 0.944, ISI indexed (2013): ISI indexed yes

Central database

Journal

Interest Group in Pure and Applied Logics. Logic Journal

ISSNs: 1367-0751

Additional searchable ISSN (Electronic): 1368-9894

Oxford University Press, United Kingdom

BFI (2017): BFI-level 2, Scopus rating (2015): SJR 0.486 SNIP 0.93, ISI indexed (2013): ISI indexed yes

Central database

Journal

Journal of Applied Logic

ISSNs: 1570-8683

Additional searchable ISSN (Electronic): 1570-8691

Elsevier BV, Netherlands

BFI (2017): BFI-level 1, Scopus rating (2015): SJR 0.753 SNIP 1.174, ISI indexed (2013): ISI indexed yes

Central database

Journal