Category:Theoretical computer science

A

• Algorithms‎ (44 C, 161 P)

C

• Computational learning theory‎ (23 P)

E

• Evolutionary computation‎ (4 C, 27 P)

F

• Formal languages‎ (7 C, 213 P)
• Formal methods‎ (6 C, 107 P)

G

• Graph theory‎ (20 C, 138 P)

I

• Information theory‎ (15 C, 217 P)

L

• Logic in computer science‎ (14 C, 105 P)

M

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

P

• Pseudorandomness‎ (1 C, 17 P)

Q

• Quantum computing‎ (3 C, 91 P)
• Quantum information science‎ (8 C, 196 P)

T

• Theoretical computer scientists‎ (2 C, 293 P)
• Theory of computation‎ (7 C, 101 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
• 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
• 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
• Learning augmented algorithm
• Least-squares spectral analysis
• Level ancestor problem
• LogP machine
• Lowest common ancestor
• Lulu smoothing

M

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

N

• Natural computing
• Neighbour-sensing model
• Nominal techniques
• Nominal terms (computer science)
• 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
• Engineering:Quantum machine learning
• Quantum machine learning
• Quantum threshold theorem
• 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
• Transwiki:Scientific community metaphor
• Semantic spacetime
• Semigroup action
• Engineering:Silq
• Simulation (computer science)
• Simulation preorder
• Small-bias sample space
• Spintronics
• Summer School Marktoberdorf
• Sun-Ni law
• Sun–Ni law

T

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

U

• Unrestricted algorithm

W

• Weakest precondition