A C M Computing Surveys

ISSNs: 0360-0300

Association for Computing Machinery, Inc., United States

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

Central database

Journal

A C M Transactions on Computational Logic

ISSNs: 1529-3785

Association for Computing Machinery, Inc., United States

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

Central database

Journal

A C M Transactions on Programming Languages and Systems

ISSNs: 0164-0925

Association for Computing Machinery, Inc., United States

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

Central database

Journal

Acta Informatica

ISSNs: 0001-5903

Springer, Germany

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

Central database

Journal

Computer Journal

ISSNs: 0010-4620

Oxford University Press, United Kingdom

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

Central database

Journal

Computer Languages, Systems and Structures

ISSNs: 1477-8424

Pergamon, United Kingdom

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

Central database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

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

Central database

Journal

Electronic Notes in Theoretical Computer Science

Elsevier

Local database

Journal

Electronic Notes in Theoretical Computer Science (ENTCS)

Local database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180

Open Publishing Association, Australia

ISI indexed (2012): no

Central database

Journal