journals

    Top: Computers: Computer_Science: Theoretical: Journals:

• Top/Computers/Computer Science/Publications/Journals
• Top/Science/Math/Publications/Journals

• - 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.
  
• - DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes.
  
• - The official journal of the Association for Logic Programming.
  
• - Journal of Logic Programming published upto 2000.
  
• - International journal on Theoretical Computer Science and Information Theory.
  
• - MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH.
  
• - This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science.
  
• - The electronic edition of the journal hosted by Brown University.
  
• - ACM's journal for experimental algorithmics .
  
• - Electronic journal maintained by the American Mathematical Society.
  
• - ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.