Electronic Proceedings in Theoretical Computer Science

Metadata for this journal is being automatically enriched from connected scholarly data sources.

Journal information

Publisher

Open Publishing Association

Subjects

Distributed systems and fault tolerance · Electronic computers. Computer science · Formal Methods in Verification · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Model-Driven Software Engineering Techniques · Semantic Web and Ontologies · semigroups and automata theory · Software Testing and Debugging Techniques · theoretical computer science

Country

AU

Languages

EN

ISSN

2075-2180

E-ISSN

2075-2180

ISSN-L

2075-2180

Open access

Yes

OA since

2009

Publication years

2009–2026

APC (summary)

—

Website

Visit journal ↗

Journal Classification

Classification is derived from this journal’s 2024–2025 publications using the OpenAlex taxonomy.

Classification

Field / Subfield

Primary Field

Computer Science

Primary Subfield

Artificial Intelligence

Domain

Physical Sciences

Confidence

Low

Publications classified

535

Classification version

OAJF Classification v1.1

APC records

DOAJ · 2026

No APC