A I P Conference Proceedings Series

ISSNs: 0094-243X

Springer New York LLC, United States

Central database

Journal

Bulletin of Symbolic Logic

ISSNs: 1079-8986

Association for Symbolic Logic, United States

Central database

Journal

Computer and Automation Research Institute of the Hungarian Academy of Sciences

Local database

Journal

Electronic Notes in Theoretical Computer Science

ISSNs: 1571-0661

Elsevier BV, Netherlands

Central database

Journal

Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180

Open Publishing Association, Australia

Central database

Journal

Fundamenta Informaticae

ISSNs: 0169-2968

I O S Press, Netherlands

Central database

Journal

International Journal of Foundations of Computer Science

ISSNs: 0129-0541

World Scientific Publishing Co. Pte. Ltd., Singapore

Central database

Journal

Lecture Notes in Bioinformatics

Local database

Journal

Lecture Notes in Computer Science

ISSNs: 0302-9743, 0302-8743, 1865-0929

Springer, Germany

Central database

Journal: Book series

Logical Methods in Computer Science

ISSNs: 1860-5974

International Federation for Computational Logic, Germany

Central database

Journal

Proccedings of International Conference on Systems Biology ICSB 2007

Local database

Journal

Theoretical Computer Science

ISSNs: 0304-3975

Elsevier BV, Netherlands

Central database

Journal