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 (2016): CiteScore 1.4 SJR 0.637 SNIP 1.327, ISI indexed (2013): ISI indexed yes, Web of Science (2017): 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 (2016): CiteScore 1.27 SJR 0.441 SNIP 1.069, ISI indexed (2013): ISI indexed yes, Web of Science (2017): 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 (2016): CiteScore 0.7 SJR 0.905 SNIP 1.157, ISI indexed (2013): ISI indexed yes, Web of Science (2017): 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 (2016): CiteScore 2.19 SJR 0.586 SNIP 1.79, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

BFI (2017): BFI-level 1, Scopus rating (2016): CiteScore 0.66 SJR 0.256 SNIP 0.609, ISI indexed (2013): ISI indexed no, Web of Science (2016): 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 (2017): Indexed yes

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 (2016): CiteScore 0.86 SJR 0.396 SNIP 0.77, ISI indexed (2013): ISI indexed yes, Web of Science (2017): 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 (2016): CiteScore 0.61 SJR 0.477 SNIP 0.886, ISI indexed (2013): ISI indexed yes, Web of Science (2017): 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 (2016): CiteScore 0.73 SJR 0.401 SNIP 0.936, ISI indexed (2013): ISI indexed yes, Web of Science (2017): Indexed Yes

Central database

Journal