Theoretical computer science

A

• Algorithms (44 C, 165 P)

C

• Computational learning theory (23 P)

E

• Evolutionary computation (2 C, 28 P)

F

• Formal languages (7 C, 195 P)
• Formal methods (5 C, 102 P)

G

• Graph theory (20 C, 150 P)

I

• Information theory (14 C, 206 P)

L

• Logic in computer science (14 C, 108 P)

M

• Mathematical theorems in theoretical computer science (6 P)
• Mathematics of computing (5 C, 8 P)

P

• Pseudorandomness (1 C, 17 P)

Q

• Quantum computing (3 C, 121 P)
• Quantum information science (7 C, 205 P)

T

• Theoretical computer scientists (1 C, 263 P)
• Theory of computation (7 C, 95 P)

• Theoretical computer science

A

• ACM Doctoral Dissertation Award
• ACM SIGACT
• Algorithm
• Algorithm engineering
• Algorithmic logic
• Algorithmic technique
• Algorithmic transparency
• Ambient calculus
• Analysis of Boolean functions
• Angelic non-determinism
• API-Calculus
• Automated reasoning

B

• Bigraph
• Bio-inspired computing
• Bird–Meertens formalism
• Bisimulation
• Bridging model
• British Colloquium for Theoretical Computer Science

C

• Physics:Calculating Space
• Categorical logic
• Chaos computing
• Chemistry:Chemical computer
• Circuit Value Problem
• Circuit value problem
• Cobham's theorem
• Coinduction
• Combinatorial optimization
• Comp.theory
• Complexity class
• Complexity function
• Organization:Computability in Europe
• Computation
• Computational irreducibility
• Computational problem
• Concurrence (quantum computing)
• Configurable modularity
• Corecursion
• Correctness (computer science)

D

• Demonic non-determinism
• Description number
• Physics:Digital probabilistic physics
• Dis-unification (computer science)
• Dominance-based rough set approach
• Dynamic Data Driven Applications Systems

E

• Erdős Lectures
• Error tolerance (PAC learning)
• Organization:European Association for Theoretical Computer Science
• Exact cover
• Expander mixing lemma
• Extractor (mathematics)

F

• Formal language
• Formal methods
• Formal verification
• Physics:Fredkin finite nature hypothesis
• Full employment theorem
• Full-employment theorem
• Fundamenta Informaticae

G

• Glossary of quantum computing
• Grammar systems theory
• Granular computing

H

• Hidden subgroup problem
• Hindley–Milner type system
• Hub labels

I

• Idempotence
• Indirect self-reference
• Institution (computer science)
• Institutional model theory
• Interactive computation

J

• Journal of Automata, Languages and Combinatorics

K

• Knowledge Based Software Assistant
• Knuth's Simpath algorithm
• Krivine machine

L

• Lambda calculus
• Language Of Temporal Ordering Specification
• Language of Temporal Ordering Specification
• Language-Theoretic Security
• Learning augmented algorithm
• Least-squares spectral analysis
• Level ancestor problem
• LogP machine
• Lowest common ancestor
• Lulu smoothing

M

• Manifold hypothesis
• Medvedev reducibility
• Monge array
• Motion planning

N

• Natural computing
• Neighbour-sensing model
• Nominal techniques
• Nominal terms (computer science)
• Non-local quantum computation
• Notation for theoretic scheduling problems

O

• Occam learning

P

• Pattern language (formal languages)
• PEPA
• Π-calculus
• Postselection
• Probabilistic bisimulation
• Profinite word
• Promise theory
• Property testing
• Pseudorandomness

Q

• Quantum algorithm
• Quantum capacity
• Quantum complexity theory
• Quantum computing
• Quantum digital signature
• Quantum machine learning
• Quantum threshold theorem
• Quasi-empiricism in mathematics

R

• Ranked alphabet
• Reed–Muller code
• Regular numerical predicate
• Representer theorem
• Rough set

S

• Safety and liveness properties
• Scientific community metaphor
• Transwiki:Scientific community metaphor
• Self-reference
• Semantic spacetime
• Semigroup action
• Engineering:Silq
• Simulation (computer science)
• Small-bias sample space
• Summer School Marktoberdorf
• Sun–Ni law

T

• Theory of Computing Systems
• Biology:Transcriptor
• Tree automaton