-
A peer-reviewed scholarly journal in theoretical computer science.
-
DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes
-
ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
-
Editor's site. Contents from vol.1 (1957), recent abstracts.
-
Contents, abstracts, bibliographies. Full text to subscribers.
-
An electronic journal available via WWW. All papers freely available in PostScript and PDF.
-
Unofficial bibliography and home page.
-
Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
-
The electronic version of the print newsletter SIGACT News. Full access restricted to current members with an ACM WWW account. Unrestricted access to recent tables of contents and Theory calendar.
-
A refereed all-electronic journal that welcomes papers in all branches of discrete mathematics, including all kinds of combinatorics, graph theory, discrete algorithms. Full text is available free on-line.
-
The official journal of the Association for Logic Programming.
-
An open-access electronic journal of theoretical computer science. Online archive and submission instructions.
-
Devoted to research concerned with all uses of logic in computer science.
