Theoretical Computer Science

E238251
academic discipline research field subfield of computer science

Theoretical Computer Science is a branch of computer science that focuses on mathematical and abstract foundations of computation, including algorithms, complexity, automata, and formal languages.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label Occurrences
Theoretical Computer Science canonical 3
theoretical computer science 2

Statements (50)

Predicate Object
instanceOf academic discipline ⓘ
research field ⓘ
subfield of computer science ⓘ
aimsTo characterize computable functions ⓘ
classify computational problems by difficulty ⓘ
develop efficient algorithms ⓘ
understand limits of computation ⓘ
contrastsWith Applied Computer Science ⓘ
Experimental Computer Science ⓘ
focusesOn abstract models of computation ⓘ
mathematical foundations of computation ⓘ
hasSubfield Algorithm Theory ⓘ
foundations of algorithmic game theory ⓘ
surface form: Algorithmic Game Theory

Automata Theory ⓘ
Coding Theory ⓘ
Communication Complexity ⓘ
Computability Theory ⓘ
Complexity Theory ⓘ
surface form: Computational Complexity Theory

Computational Learning Theory ⓘ
foundations of cryptography ⓘ
surface form: Cryptography Theory

Distributed Computing Theory ⓘ
Formal Language Theory ⓘ
Proof Complexity ⓘ
Quantum Computing Theory ⓘ
involves asymptotic analysis of algorithms ⓘ
formal proofs ⓘ
rigorous definitions ⓘ
partOf computer science ⓘ
surface form: Computer Science
relatedTo Logic ⓘ
Mathematics ⓘ
Theoretical Physics ⓘ
studies algorithmic game theory ⓘ
algorithms ⓘ
automata theory ⓘ
complexity classes ⓘ
computability theory ⓘ
computational complexity ⓘ
cryptography ⓘ
formal languages ⓘ
information theory ⓘ
logic in computer science ⓘ
quantum computation theory ⓘ
uses algebra ⓘ
category theory ⓘ
combinatorics ⓘ
discrete mathematics ⓘ
graph theory ⓘ
mathematical logic ⓘ
number theory ⓘ
probability theory ⓘ

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Tobias Nipkow → hasPublishedIn → Theoretical Computer Science ⓘ
Moore neighborhood → fieldOfStudy → Theoretical Computer Science ⓘ
this entity surface form: theoretical computer science
Christine Paulin-Mohring → hasPublishedIn → Theoretical Computer Science ⓘ
Valiant–Vazirani theorem → originalPublicationVenue → Theoretical Computer Science ⓘ
Bennett's logical reversibility → field → Theoretical Computer Science ⓘ
this entity surface form: theoretical computer science