Previous
Next
Journal
- theoretical computer science44
- electronic notes in theoretical computer science38
- electronic proceedings in theoretical computer science23
- logical methods in computer science19
- information and computation18
- proceedings of the acm on programming languages15
- mathematical structures in computer science14
- annals of pure and applied logic13
- journal of automated reasoning13