Loading...
Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.
56203 resources
The electronic edition of the journal hosted by Brown University.
Covers all areas of theoretical computer science and computational aspects of information theory.
Electronic journal hosted by the University of Chicago.
Electronic journal maintained by the American Mathematical Society.
ACM's journal for experimental algorithmics .
MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
Journal of Logic Programming published up to 2000.
DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
An open-access electronic journal of theoretical computer science. Online archive and submission instructions.
ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
The official journal of the Association for Logic Programming.
This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
Elsevier journal covering the mathematical and theoretical basis of computer science.