http://dbpedia.org/page/Category:Theoretical_computer_science

Property	Value
rdf:type	skos:Concept
rdfs:label	Theoretical computer science (en)
skos:broader	dbpedia:Category:Mathematics dbpedia:Category:Computer_science dbpedia:Category:Theories
skos:prefLabel	Theoretical computer science (en)
skos:broader	dbpedia:Category:Evolutionary_computation dbpedia:Category:Formal_methods dbpedia:Category:Logic_in_computer_science dbpedia:Category:Information_theory dbpedia:Category:Theory_of_computation dbpedia:Category:Formal_languages dbpedia:Category:Computational_complexity_theory dbpedia:Category:Semantics dbpedia:Category:Theory_of_cryptography dbpedia:Category:Compiler_theory dbpedia:Category:Database_theory dbpedia:Category:Mathematics_of_computing dbpedia:Category:Human-based_computation dbpedia:Category:Natural_computation dbpedia:Category:Pseudorandomness dbpedia:Category:Unsolved_problems_in_computer_science
skos:subject	dbpedia:ACM_SIGACT dbpedia:Abstract_family_of_languages dbpedia:Algorithm_engineering dbpedia:Algorithmically_random_sequence dbpedia:Algebraic_semantics dbpedia:Algorithm dbpedia:Algorithm_characterizations dbpedia:Algorithm_examples dbpedia:Automated_reasoning dbpedia:Axiomatic_semantics dbpedia:Biologically-inspired_computing dbpedia:Bisimulation dbpedia:British_Colloquium_for_Theoretical_Computer_Science dbpedia:Cache-oblivious_algorithm dbpedia:Categorical_logic dbpedia:Cheeger_constant_%28graph_theory%29 dbpedia:Chemical_computer dbpedia:Closure_%28computer_science%29 dbpedia:Coinduction dbpedia:Conditional_random_field dbpedia:Configurable_modularity dbpedia:Computation dbpedia:Computational_irreducibility dbpedia:Computational_overhead dbpedia:Corecursion dbpedia:Covering_problem dbpedia:DNA_computing dbpedia:Digital_physics dbpedia:Digital_probabilistic_physics dbpedia:Discrete_tomography dbpedia:Dominance-based_Rough_Set_Approach dbpedia:Dynamic_Data_Driven_Application_System dbpedia:EATCS dbpedia:Epsilon-Biased_Sample_Spaces dbpedia:Exact_cover dbpedia:Expander_mixing_lemma dbpedia:Extractor dbpedia:Formal_verification dbpedia:Formal_semantics_of_programming_languages dbpedia:Full_employment_theorem dbpedia:Granular_computing dbpedia:Indirect_self-reference dbpedia:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia:Institution_%28computer_science%29 dbpedia:Institutional_model_theory dbpedia:Interactive_computation dbpedia:Introduction_to_Automata_Theory%2C_Languages%2C_and_Computation dbpedia:Josephus_problem dbpedia:Krohn-Rhodes_theory dbpedia:Kripke_structure dbpedia:Lambda_calculus dbpedia:Lowest_common_ancestor dbpedia:Markov_logic_network dbpedia:Markov_network dbpedia:Monge_array dbpedia:Motion_planning dbpedia:Morphological_computation dbpedia:Neighbour-sensing_model dbpedia:Notation_for_theoretic_scheduling_problems dbpedia:Object-based dbpedia:Omega_%28computer_science%29 dbpedia:Optical_computer dbpedia:P_system dbpedia:Pi-calculus dbpedia:Predicate_transformer_semantics dbpedia:Pseudorandomness dbpedia:Probabilistic_bisimulation dbpedia:Pursuit-evasion dbpedia:Quantum_computer dbpedia:Quasi-empiricism_in_mathematics dbpedia:Recursion_%28computer_science%29 dbpedia:Recursive_definition dbpedia:Referential_transparency_%28computer_science%29 dbpedia:Rent%27s_Rule dbpedia:Rough_set dbpedia:Runtime_verification dbpedia:Scientific_community_metaphor dbpedia:Simulation_preorder dbpedia:Spintronics dbpedia:Supnick_matrix dbpedia:Stuttering_equivalence dbpedia:Theoretical_computer_science dbpedia:Theoretical_Computer_Science_%28journal%29 dbpedia:Turing_machine_gallery dbpedia:Turing_switch dbpedia:Turing_machine dbpedia:Turing_machine_examples dbpedia:Universal_Turing_machine dbpedia:Weakest_liberal_precondition dbpedia:Wang_B-machine dbpedia:Wolfram%27s_2-state_3-symbol_Turing_machine dbpedia:Word_problem_%28mathematics%29 dbpedia:Moore%27s_law dbpedia:May%27s_law dbpedia:Abstract_family_of_acceptors dbpedia:Categorical_abstract_machine dbpedia:Applicative_computing_systems dbpedia:Concurrence_%28quantum_computing%29 dbpedia:Kernelization dbpedia:Pancomputationalism dbpedia:Promise_theory dbpedia:Quantum_digital_signature dbpedia:Quantum_threshold_theorem dbpedia:TAK_Tiles

Theoretical computer science