This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

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

History-based reasoning about behavioral subtyping (extended paper)

Jinting Bian and others (2026) · Theoretical Computer Science · Elsevier BV

Completeness for recursive procedures in separation logic

Mahmudul Faisal Al Ameen and others (2016) · Theoretical Computer Science · Elsevier

A semantics for concurrent separation logic

Stephen Brookes (2007) · Theoretical Computer Science · Elsevier

Resources, concurrency, and local reasoning

Peter W. O'Hearn (2007) · Theoretical Computer Science · Elsevier

Logical analysis of demonic nondeterministic programs

Stéphane Demri and others (1996) · Theoretical Computer Science · Elsevier BV

Combining angels, demons and miracles in program specifications