Category:Theoretical computer science

A

• Algorithms‎ (59 C, 135 P)

C

• Computational learning theory‎ (22 P)

E

• Evolutionary computation‎ (4 C, 26 P)

F

• Formal languages‎ (13 C, 202 P)
• Formal methods‎ (18 C, 102 P)

G

• Graph theory‎ (27 C, 124 P)

I

• Information theory‎ (17 C, 202 P)

L

• Logic in computer science‎ (20 C, 101 P)

M

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

N

• Natural computation‎ (3 P)

P

• Problems in computer science‎ (2 C, 6 P)
• Pseudorandomness‎ (1 C, 17 P)
• Pursuit–evasion‎ (1 C, 15 P)

Q

• Quantum computing‎ (3 C, 84 P)
• Quantum information science‎ (8 C, 173 P)

R

• Rewriting systems‎ (5 C, 35 P)

T

• Theoretical computer science conferences‎ (39 P)
• Theoretical computer science journals‎ (2 C, 4 P)
• Theoretical computer scientists‎ (3 C, 205 P)
• Theory of computation‎ (8 C, 92 P)

Σ

• Theoretical computer science stubs‎ (1 C, 79 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
• British Logic Colloquium

C

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

D

• Demonic non-determinism
• Description number
• Dis-unification
• Dominance-based rough set approach
• Dynamic Data Driven Applications Systems

E

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

F

• Flajolet Lecture Prize
• Formal language
• Formal methods
• Formal verification
• French Institute for Research in Computer Science and Automation
• Full-employment theorem
• Fundamenta Informaticae

G

• Glossary of quantum computing
• Gödel Prize
• 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 Prize
• Knuth's Simpath algorithm
• Krivine machine

L

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

M

• Machine learning in physics
• Manifold hypothesis
• Monge array
• Motion planning

N

• Natural computing
• Neighbour-sensing model
• Nerode Prize
• Nominal techniques
• Nominal terms (computer science)

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
• Quasi-empiricism in mathematics

R

• Ranked alphabet
• Recursion (computer science)
• Recursive definition
• Reed–Muller code
• Regular numerical predicate
• Representer theorem
• Rough set

S

• Safety and liveness properties
• Scientific community metaphor
• Selman's theorem
• Semantic spacetime
• Semigroup action
• Simulation (computer science)
• Small-bias sample space
• Spintronics
• Summer School Marktoberdorf
• Sun–Ni law

T

• Tardiness (scheduling)
• Theory of Computing Systems
• Threshold theorem
• Transcriptor
• Tree (automata theory)
• Tree automaton
• Tree transducer
• Turing machine

U

• Unrestricted algorithm

W

• Weakest precondition