Theoretical computer science

GPTKB entity

Statements (98)
Predicate Object
gptkbp:instanceOf gptkb:academic
branch of computer science
gptkbp:focusesOn mathematical aspects of computing
https://www.w3.org/2000/01/rdf-schema#label Theoretical computer science
gptkbp:includes gptkb:information_theory
automata theory
computability theory
cryptography
theoretical computer science
formal languages
algorithms
quantum computing theory
gptkbp:notableConference gptkb:CCC
gptkb:COLT
gptkb:FOCS
gptkb:LICS
gptkb:MFCS
gptkb:STACS
gptkb:ICALP
gptkb:PODC
gptkb:SODA
gptkb:STOC
gptkbp:notableFigure gptkb:Alan_Turing
gptkb:Alonzo_Church
gptkb:Avi_Wigderson
gptkb:Claude_Shannon
gptkb:Dana_Scott
gptkb:Donald_Knuth
gptkb:John_Hopcroft
gptkb:John_von_Neumann
gptkb:Kurt_Gödel
gptkb:Manuel_Blum
gptkb:Michael_Sipser
gptkb:Noam_Chomsky
gptkb:Richard_Karp
gptkb:Robert_Tarjan
gptkb:Shafi_Goldwasser
gptkb:Silvio_Micali
gptkb:Stephen_Cook
gptkb:Edmonds_Jack
gptkb:Leslie_Valiant
gptkb:Andrew_Yao
gptkbp:notablePublication gptkb:Discrete_Mathematics
gptkb:Journal_of_Cryptology
gptkb:SIAM_Journal_on_Computing
gptkb:Journal_of_the_ACM
gptkb:Algorithmica
gptkb:Information_and_Computation
gptkb:Information_Processing_Letters
gptkb:Journal_of_Computer_and_System_Sciences
Computational Complexity
Theoretical Computer Science
gptkbp:notableWinner gptkb:Gödel_Prize
gptkb:Dijkstra_Prize
gptkb:Knuth_Prize
gptkb:EATCS_Award
gptkb:Presburger_Award
Turing Award
gptkbp:relatedTo gptkb:logic
gptkb:mathematics
computer engineering
discrete mathematics
gptkbp:studies gptkb:Kolmogorov_complexity
gptkb:complexity_theory
gptkb:geometry
gptkb:lambda_calculus
gptkb:logic
gptkb:category_theory
gptkb:finite_automata
game theory
proof theory
recursion theory
combinatorics
Turing machines
computational linguistics
graph theory
computational algebra
formal verification
limits of computation
algorithmic information theory
communication complexity
data structures
proof complexity
randomized algorithms
computational number theory
nondeterminism
computational logic
computational problems
complexity classes
computational learning theory
parallel computation
distributed computation
efficiency of algorithms
models of computation
program semantics
gptkbp:bfsParent gptkb:universal_Turing_machine
gptkb:Formal_languages
gptkbp:bfsLayer 5