Electronic proceedings in theoretical computer science

Published by EPTCS.org

Open access · CC BY-NC-ND · In DOAJ · Australia · Logic, programming, and type systems

Journal at a glance

ISSN

2075-2180 (electronic)

Publisher

EPTCS.org

Country

Australia

Language

en

License

CC BY-NC-ND

Also known as: Electron Proc Theor Comput Sci (Abbreviation), EPTCS (Alternate title)

Indexing

• DOAJ: Active

Metrics

Subjects

• Logic, programming, and type systems
• Formal Methods in Verification
• Logic, Reasoning, and Knowledge
• Model-Driven Software Engineering Techniques
• Semantic Web and Ontologies
• semigroups and automata theory
• Software Testing and Debugging Techniques
• Science: Mathematics: Instruments and machines: Electronic computers. Computer science

Similar journals

• Electronic notes in theoretical computer science — Kingdom of the Netherlands · Open access · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
• Logic journal of the IGPL — United Kingdom · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
• EPiC series in computing — United Kingdom · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
• Information and computation — United States · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
• Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 4 shared subjects in total
• Science of computer programming — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total

Sources: DOAJ, OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-07

Journal homepage · Author guidelines