Electronic notes in theoretical computer science

Published by Elsevier

Open access · Kingdom of the Netherlands · Logic, programming, and type systems

Journal at a glance

ISSN

1571-0661 (electronic)

Publisher

Elsevier

Country

Kingdom of the Netherlands

Language

en

Also known as: Electron Notes Theor Comput Sci (Abbreviation), ENTCS (Alternate title)

Metrics

Subjects

• Logic, programming, and type systems
• Formal Methods in Verification
• Logic, Reasoning, and Knowledge
• Model-Driven Software Engineering Techniques
• Advanced Software Engineering Methodologies
• Software Testing and Debugging Techniques
• Distributed systems and fault tolerance

Similar journals

• Science of computer programming — Kingdom of the Netherlands · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Distributed systems and fault tolerance, 6 shared subjects in total, Same country
• Electronic proceedings in theoretical computer science — Australia · Open access · Same subject: Formal Methods in Verification, Same subject: Logic, Reasoning, and Knowledge, 5 shared subjects in total
• International journal on software tools for technology transfer : STTT — Germany · — · Same subject: Advanced Software Engineering Methodologies, Same subject: Formal Methods in Verification, 5 shared subjects in total
• Formal methods in system design — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total, Same country
• Proceedings of the ACM on programming languages — United States · Open access · Same subject: Distributed systems and fault tolerance, Same subject: Formal Methods in Verification, 4 shared subjects in total
• Acta informatica — Germany · — · Same subject: Distributed systems and fault tolerance, Same subject: Formal Methods in Verification, 4 shared subjects in total

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

Journal homepage