ECCC - Electronic Colloquium on Computational Complexity The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity (ECCC) welcomes papers, short notes and surveys with relevance to the theory of computation
ECCC - Electronic Colloquium on Computational Complexity A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources.
Information and Computation An international journal that welcomes original papers in all areas of theoretical Computer Science and computational applications of information theory.
Information and Computation Covers all areas of theoretical computer science and computational aspects of information theory.
Mathematical Logic Quarterly Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
Mathematical Logic Quarterly MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
SIGACT News Online 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.
The Electronic Journal of Combinatorics 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 Electronic Journal of Combinatorics A refereed all-electronic journal that welcomes papers in all branches of discrete mathematics. Full text is available free on-line.
Transactions on Computational Logic This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
