Some Logic-Related Webpages
dblp Computer Science Bibliography at Universität Trier
This bibliography covers
many conferences (including LICS, CADE, FOCS, ICALP, PODS, POPL, STOC, etc.)
and most major journals.
Association for Symbolic Logic
Mathematical Logic around the world
The Computing Research Repository (CoRR)
The computer science branch of the e-print service arXiv.
Back to the LICS web page.