Some Logic-Related Links

dblp Computer Science Bibliography at Universität Trier

This bibliography covers many conferences, including LICS, CADE, FOCS, ICALP, PODS, POPL, STOC, and most major journals.

Association for Symbolic Logic

Mathematical Logic around the world

A service provided by the Mathematical Logic Group in Bonn.

The Computing Research Repository (CoRR)

The computer science branch of the Los Alamos e-Print archive.

Back to the LICS web page.