Journal

Electronic Proceedings in Theoretical Computer Science

Open Publishing Association. Logic, programming, and type systems. 5,410 works and 20,108 citations indexed by CitedEvidence.

Works

5,410

Citations

20,108

H-index

ISSN

2075-2180

Open access

Yes

Impact

0.3

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeModel-Driven Software Engineering TechniquesSemantic Web and Ontologiessemigroups and automata theorySoftware Testing and Debugging TechniquesDistributed systems and fault toleranceAdvanced Software Engineering MethodologiesAdvanced Algebra and Logic