Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02588549n
Noun Concept
Categories: Formal sciences, Articles containing potentially dated statements from 2014, Theoretical computer science, All articles containing potentially dated statements, Webarchive template wayback links
EN
theoretical computer science  computer science theory  CS theory  theoretical computer scientist  theoretical CS
EN
Theoretical computer science is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, formal language theory, the lambda calculus and type theory. Wikipedia
Definitions
Relations
Sources
EN
Theoretical computer science is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, formal language theory, the lambda calculus and type theory. Wikipedia
Subfield of computer science and mathematics Wikidata
IS A
computer science
mathematics
fundamental science
HAS PART
automata theory
database theory
PEPA
minimum cut
computational complexity theory
+6 relations
PART OF
computer science
formal science
HAS KIND
computability theory
combinatorial game theory
HAS INSTANCE
algorithmic information theory
algorithmic logic
Wikipedia
EN
theoretical computer science
Wikidata
EN
theoretical computer science
Wikipedia Redirections
EN
computer science theory, Theoretical Computer Science, theoretical computer scientist
Wikidata Alias
EN
CS theory, theoretical CS

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License