Example image of eyePlorer eyePlorer map for 'Theoretical computer science': Analysis of algorithms Computer science Computing Formal semantics of programming languages Theory of computation ACM SIGACT Association for Computing Machinery Software system Alan Turing Alonzo Church Euclidean algorithm Greatest common divisor Stephen Cole Kleene Formal system Gottfried Leibniz Gödel's incompleteness theorems Kurt Gödel Computability Claude Shannon Information theory Donald O. Hebb Hebbian theory Connectionism Neural network Quantum mechanics Peter Shor Polynomial time Public-key cryptography Quantum computer European Association for Theoretical Computer Science International Journal of Foundations of Computer Science Journal of Automata, Languages and Combinatorics Theory of Computing (journal) European Symposium on Algorithms IEEE Symposium on Logic in Computer Science International Colloquium on Automata, Languages and Programming List of important publications in theoretical computer science Symposium on Foundations of Computer Science Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Unsolved problems in computer science Aanderaa–Karp–Rosenberg conjecture Abstract rewriting system Actor model theory Algorithmic Lovász local lemma Automata theory Avrim Blum Bisimulation