EN

Electronic Notes in Theoretical Computer Science

Journal

Elsevier BV

6,328

Publications

84,337

Citations

Loading papers...

Search by keywords

Filter by Type

Article (6,294)
Preprint (29)
Book (2)
Book Chapter (1)
Editorial (1)

Filter by Open Access Type

Open Access (0)
Closed Access (6,328)

Filter by Authors

José Meseguer (46)
Ugo Montanari (39)
John Power (37)
Salvador Lucas (25)
Grigore Roşu (25)

Filter by Topics

Logic, programming, and type systems (2,481)
Formal Methods in Verification (2,151)
Logic, Reasoning, and Knowledge (1,422)
Model-Driven Software Engineering Techniques (747)
Advanced Software Engineering Methodologies (693)