Skip to content
Internet Public Library

Logic in Computer Science

Resources on Logic in Computer Science within Computer Science Theory, in Academics.

Overview

Scope

Logic in Computer Science belongs to Computer Science Theory in Academics. This page distinguishes resources for this topic from the other sections in its subcategory.

Using the materials

The resource list gives the address and description of each available item. Use that information to assess its source and relevance to Logic in Computer Science. Related sections connect this topic to other areas of Computer Science Theory.

Contributions

To suggest a resource about Logic in Computer Science, provide its address and explain its relevance through “Suggest a resource”. Use “Edit” to propose corrections or explanations for the wiki.

Learning materials Community knowledge Edit this article Join the conversation

Curated Resources

Curated for Computer Science Theory, which includes Logic in Computer Science.

  • Computational Complexity Blog blog
    blog.computationalcomplexity.org

    Influential academic blog written by Lance Fortnow and Bill Gasarch exploring complexity theory, algorithms, and theory life.

  • Windows on Theory blog
    windowsontheory.org

    Collaborative research blog by theoretical computer scientists discussing algorithms, complexity, cryptography, and open problems.

  • Theoretical Computer Science Stack Exchange community
    cstheory.stackexchange.com

    Question and answer community for researchers, academics, and graduate students in theoretical computer science.

  • In Theory blog
    lucatrevisan.wordpress.com

    Theoretical computer science blog maintained by the late Luca Trevisan, covering complexity theory, randomness, and spectral graph theory.

  • Complexity Zoo database
    complexityzoo.net

    Comprehensive wiki cataloging computational complexity classes and their structural relationships.

  • dblp Computer Science Bibliography database
    dblp.org

    Extensive open bibliographic database indexing major conferences and journals across computer science and theoretical computing.

  • Cryptology ePrint Archive database
    eprint.iacr.org

    Scientific repository for rapid dissemination of preprints and technical reports in cryptology and theoretical cryptographic foundations.

  • Quantum Algorithm Zoo database
    quantumalgorithmzoo.org

    Comprehensive catalog of quantum algorithms with speedup factors over classical counterparts and bibliographic citations.

  • ACM Symposium on Theory of Computing (STOC) conference
    www.sigact.org

    Flagship annual international symposium sponsored by ACM SIGACT covering all foundational areas of theoretical computer science.

  • Computational Complexity Conference (CCC) conference
    computationalcomplexity.org

    Annual academic conference organized by the Computational Complexity Foundation dedicated to computational complexity.

  • International Colloquium on Automata, Languages and Programming (ICALP) conference
    eatcs.org

    Main annual conference of the European Association for Theoretical Computer Science, covering algorithms, complexity, and logic.

  • Design and Analysis of Algorithms (MIT OpenCourseWare) course
    ocw.mit.edu

    Advanced undergraduate course covering design and analysis paradigms, randomized algorithms, amortized analysis, and graph algorithms.

  • Algorithms by Jeff Erickson textbook
    jeffe.cs.illinois.edu

    Free, open-access textbook covering recursion, dynamic programming, randomized algorithms, graph algorithms, and NP-hardness.

  • Computational Complexity: A Modern Approach textbook
    theory.cs.princeton.edu

    Comprehensive graduate-level textbook on computational complexity theory by Sanjeev Arora and Boaz Barak.

  • Algorithms, Part I course
    www.coursera.org

    Fundamental course on essential algorithms and data structures taught by Robert Sedgewick and Kevin Wayne.

  • Theory of Computing journal
    theoryofcomputing.org

    Diamond open-access scientific journal publishing high-quality research papers across theoretical computer science.

  • ACM Transactions on Computation Theory journal
    dl.acm.org

    Peer-reviewed journal publishing research on computational complexity, algorithmic foundations, cryptography, and randomness.

  • Algorithmica journal
    link.springer.com

    International journal devoted to the design and analysis of algorithms in computing and discrete applied mathematics.

  • Electronic Colloquium on Computational Complexity reference
    eccc.weizmann.ac.il

    Archival forum and screened scientific preprint archive dedicated to computational complexity theory.

  • Z3 Theorem Prover tool
    z3prover.github.io

    High-performance satisfiability modulo theories (SMT) solver developed by Microsoft Research for software verification and analysis.

  • Coq Proof Assistant tool
    coq.inria.fr

    Formal proof management system that provides a formal language to write mathematical definitions, algorithms, and theorems together with an environment for semi-interactive development of machine-checked proofs.

  • Lean Prover tool
    lean-lang.org

    Interactive theorem prover and pure functional programming language based on the calculus of constructions.

  • JFLAP tool
    www.jflap.org

    Educational software for experimenting with formal languages and automata theory, including finite state machines, pushdown automata, and Turing machines.

  • SPIN Model Checker tool
    spinroot.com

    Popular open-source software verification tool for the formal verification of multi-threaded software and distributed algorithms.

Suggest a resource

Wiki

The wiki collects community contributions about Logic in Computer Science within Computer Science Theory. Propose explanations, references, or corrections through GitHub.

Read full wiki Edit wiki

Community Discussion

Join the conversation, ask questions, or suggest improvements to this content.

Loading discussions...

Academics · Computer Science Theory