About: Theoretical computer science

Property	Value
rdf:type	skos:Concept
rdfs:label	Theoretical computer science
skos:broader	dbpedia:Category:Scientific_theories dbpedia:Category:Computer_science dbpedia:Category:Mathematics
skos:prefLabel	Theoretical computer science
is skos:broader of	dbpedia:Category:Formal_languages dbpedia:Category:Theoretical_computer_science_conferences dbpedia:Category:Theory_of_cryptography dbpedia:Category:Unsolved_problems_in_computer_science dbpedia:Category:Computational_complexity_theory dbpedia:Category:Formal_methods dbpedia:Category:Human-based_computation dbpedia:Category:Information_theory dbpedia:Category:Theory_of_computation dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematics_of_computing dbpedia:Category:Natural_computation dbpedia:Category:Programming_language_theory dbpedia:Category:Pseudorandomness dbpedia:Category:Theoretical_computer_scientists dbpedia:Category:Database_theory dbpedia:Category:Evolutionary_computation dbpedia:Category:Semantics
is skos:subject of	dbpedia:Algorithm dbpedia:Recursion_(computer_science) dbpedia:Quantum_computer dbpedia:Formal_verification dbpedia:Turing_machine dbpedia:Simulation_preorder dbpedia:Spintronics dbpedia:Conditional_random_field dbpedia:Formal_semantics_of_programming_languages dbpedia:Photonic_computing dbpedia:Computational_overhead dbpedia:Predicate_transformer_semantics dbpedia:ACM_SIGACT dbpedia:Categorical_logic dbpedia:Indirect_self-reference dbpedia:Biologically_inspired_computing dbpedia:Knuth_Prize dbpedia:Coinduction dbpedia:Computation dbpedia:Corecursion dbpedia:Extractor dbpedia:Fredkin_finite_nature_hypothesis dbpedia:Granular_computing dbpedia:International_Journal_of_Foundations_of_Computer_Science dbpedia:Lowest_common_ancestor dbpedia:Lambda_calculus dbpedia:Bisimulation dbpedia:Closure_(computer_science) dbpedia:Pi-calculus dbpedia:Algorithm_characterizations dbpedia:Automated_reasoning dbpedia:Bridging_model dbpedia:Stuttering_equivalence dbpedia:Chemical_computer dbpedia:Configurable_modularity dbpedia:Dominance-based_Rough_Set_Approach dbpedia:Epsilon-Biased_Sample_Spaces dbpedia:Grammar_systems_theory dbpedia:Hidden_Markov_random_field dbpedia:Interactive_computation dbpedia:LogP_machine dbpedia:Theoretical_Computer_Science_(journal) dbpedia:Motion_planning dbpedia:Markov_logic_network dbpedia:Markov_random_field dbpedia:Abstract_family_of_acceptors dbpedia:Algebraic_semantics dbpedia:Algorithmica dbpedia:Program_(mathematical_object) dbpedia:British_Colloquium_for_Theoretical_Computer_Science dbpedia:Computability_in_Europe dbpedia:Computational_irreducibility dbpedia:Digital_probabilistic_physics dbpedia:Discrete_tomography dbpedia:Evasiveness_conjecture dbpedia:Expander_mixing_lemma dbpedia:Full_employment_theorem dbpedia:Gödel_Prize dbpedia:Neighbour-sensing_model dbpedia:Page's_law dbpedia:Formal_language dbpedia:Idempotence dbpedia:Pseudorandomness dbpedia:DNA_computing dbpedia:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia:Exact_cover dbpedia:Algorithm_engineering dbpedia:Algorithm_examples dbpedia:Computational_problem dbpedia:Concurrence_(quantum_computing) dbpedia:Dynamic_data_driven_application_system dbpedia:European_Association_for_Theoretical_Computer_Science dbpedia:Fundamenta_Informaticae dbpedia:Institution_(computer_science) dbpedia:Institutional_model_theory dbpedia:Journal_of_Automata,_Languages_and_Combinatorics dbpedia:Krohn–Rhodes_theory dbpedia:Monge_array dbpedia:Natural_Computing dbpedia:Notation_for_theoretic_scheduling_problems dbpedia:Near_sets dbpedia:Pursuit-evasion dbpedia:Rough_set dbpedia:Task-oriented_Information_Modelling dbpedia:Nominal_techniques dbpedia:Probabilistic_bisimulation dbpedia:Quasi-empiricism_in_mathematics dbpedia:Recursive_definition dbpedia:Semigroup_action dbpedia:Theoretical_computer_science dbpedia:Turing_machine_examples dbpedia:Weakest_liberal_precondition dbpedia:Wolfram's_2-state_3-symbol_Turing_machine dbpedia:Wang_B-machine dbpedia:Peptide_computing dbpedia:Promise_theory dbpedia:Quantum_algorithm dbpedia:Quantum_threshold_theorem dbpedia:Schwartz–Zippel_lemma dbpedia:Turing_switch dbpedia:Turing_machine_gallery dbpedia:Quantum_digital_signature dbpedia:Scientific_community_metaphor