Journal

Electronic Notes in Theoretical Computer Science

Elsevier BV. Logic, programming, and type systems. 6,328 works and 83,776 citations indexed by CitedEvidence.

Works

6,328

Citations

83,776

H-index

ISSN

1571-0661

Open access

Yes

Impact

Not available

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeModel-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesSoftware Testing and Debugging TechniquesDistributed systems and fault toleranceService-Oriented Architecture and Web ServicesAdvanced Algebra and LogicSemantic Web and Ontologies