A C M Transactions on Computational Logic

ISSNs: 1529-3785

ISSNs (Electronic): 1557-945X

Association for Computing Machinery, Inc., United States

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

Annals of Mathematics and Artificial Intelligence

ISSNs: 1012-2443

ISSNs (Electronic): 1573-7470

Springer Netherlands, Netherlands

ISI indexed (2013): yes, FI (2013): 1

Central database

Journal

Annals of Pure and Applied Logic

ISSNs: 0168-0072

ISSNs (Electronic): 1873-2461

Elsevier BV, Netherlands

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

Autonomous Agents and Multi-Agent Systems

ISSNs: 1387-2532

ISSNs (Electronic): 1573-7454

Springer New York LLC, United States

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

ISI indexed (2013): no, FI (2013): 1

Central database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180, 20752180

Open Publishing Association

ISI indexed (2013): no

Central database

Journal

European Association for Theoretical Computer Science. Bulletin

ISSNs: 0252-9742

European Association for Theoretical Computer Science, Greece

ISI indexed (2013): no, FI (2013): 1

Central database

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

ISSNs (Electronic): 1875-8681

I O S Press, Netherlands

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

Interest Group in Pure and Applied Logics. Logic Journal

ISSNs: 1367-0751

ISSNs (Electronic): 1368-9894

Oxford University Press Oxford University Press, United Kingdom

ISI indexed (2013): yes, FI (2013): 2

Central database

Journal

Journal of Applied Logic

ISSNs: 1570-8683

ISSNs (Electronic): 1570-8691

Elsevier BV, Netherlands

ISI indexed (2013): yes, FI (2013): 1

Central database

Journal