IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
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
.
Last modified: Thu Oct 29 19:37:38 CET 2009
Andrzej Murawski