Theoretical Computer Science

A conference, workshop or journal: the thing that recurs, across all its years.

Elsevier's broad theory journal, split into sections covering algorithms and complexity, logic and semantics, and formal languages. Large, long-running, and where a conference paper in theory is often expanded into its definitive form.

https://www.sciencedirect.com/journal/theoretical-computer-science

2 references