A C M Transactions on Computational Logic

ISSNs: 1529-3785

Additional searchable ISSN (Electronic): 1557-945X

Association for Computing Machinery, Inc., United States

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

Central database

Journal

Annals of Mathematics and Artificial Intelligence

ISSNs: 1012-2443

Additional searchable ISSN (Electronic): 1573-7470

Springer Netherlands, Netherlands

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

Central database

Journal

Annals of Pure and Applied Logic

ISSNs: 0168-0072

Additional searchable ISSN (Electronic): 1873-2461

Elsevier BV, Netherlands

ISI indexed (2013): ISI indexed yes, BFI (2015): BFI-level 2, Scopus rating (2015): 1.19 1.335

Central database

Journal

Autonomous Agents and Multi-Agent Systems

ISSNs: 1387-2532

Additional searchable ISSN (Electronic): 1573-7454

Springer New York LLC, United States

ISI indexed (2013): ISI indexed yes, BFI (2015): BFI-level 2, Scopus rating (2015): 0.853 2.039

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

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

Central database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180, 2075-2180

Open Publishing Association, Australia

ISI indexed (2013): ISI indexed no

Central database

Journal

European Association for Theoretical Computer Science. Bulletin

ISSNs: 0252-9742

European Association for Theoretical Computer Science, Greece

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

Central database

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

Additional searchable ISSN (Electronic): 1875-8681

I O S Press, Netherlands

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

Central database

Journal

Interest Group in Pure and Applied Logics. Logic Journal

ISSNs: 1367-0751

Additional searchable ISSN (Electronic): 1368-9894

Oxford University Press Oxford University Press, United Kingdom

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

Central database

Journal

Journal of Applied Logic

ISSNs: 1570-8683

Additional searchable ISSN (Electronic): 1570-8691

Elsevier BV, Netherlands

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

Central database

Journal