Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Theoretical_computer_science> . }
- ACM_SIGACT subject Category:Theoretical_computer_science.
- AI_box subject Category:Theoretical_computer_science.
- Algorithm subject Category:Theoretical_computer_science.
- Algorithm_engineering subject Category:Theoretical_computer_science.
- Algorithmic_logic subject Category:Theoretical_computer_science.
- Angelic_non-determinism subject Category:Theoretical_computer_science.
- Automated_reasoning subject Category:Theoretical_computer_science.
- Bigraph subject Category:Theoretical_computer_science.
- Bio-inspired_computing subject Category:Theoretical_computer_science.
- Bisimulation subject Category:Theoretical_computer_science.
- Bridging_model subject Category:Theoretical_computer_science.
- British_Colloquium_for_Theoretical_Computer_Science subject Category:Theoretical_computer_science.
- Categorical_logic subject Category:Theoretical_computer_science.
- Chemical_computer subject Category:Theoretical_computer_science.
- Coinduction subject Category:Theoretical_computer_science.
- Complexity_function subject Category:Theoretical_computer_science.
- Computability_in_Europe subject Category:Theoretical_computer_science.
- Computation subject Category:Theoretical_computer_science.
- Computational_irreducibility subject Category:Theoretical_computer_science.
- Computational_learning_theory subject Category:Theoretical_computer_science.
- Computational_problem subject Category:Theoretical_computer_science.
- Concurrence_(quantum_computing) subject Category:Theoretical_computer_science.
- Configurable_modularity subject Category:Theoretical_computer_science.
- Corecursion subject Category:Theoretical_computer_science.
- Correctness_(computer_science) subject Category:Theoretical_computer_science.
- DNA_computing subject Category:Theoretical_computer_science.
- Demonic_non-determinism subject Category:Theoretical_computer_science.
- Digital_probabilistic_physics subject Category:Theoretical_computer_science.
- Dis-unification_(computer_science) subject Category:Theoretical_computer_science.
- Dominance-based_rough_set_approach subject Category:Theoretical_computer_science.
- Dynamic_data-driven_application_system subject Category:Theoretical_computer_science.
- European_Association_for_Theoretical_Computer_Science subject Category:Theoretical_computer_science.
- Exact_cover subject Category:Theoretical_computer_science.
- Expander_mixing_lemma subject Category:Theoretical_computer_science.
- Extractor_(mathematics) subject Category:Theoretical_computer_science.
- Formal_language subject Category:Theoretical_computer_science.
- Formal_methods subject Category:Theoretical_computer_science.
- Formal_verification subject Category:Theoretical_computer_science.
- Fredkin_finite_nature_hypothesis subject Category:Theoretical_computer_science.
- French_Institute_for_Research_in_Computer_Science_and_Automation subject Category:Theoretical_computer_science.
- Full_employment_theorem subject Category:Theoretical_computer_science.
- Fundamenta_Informaticae subject Category:Theoretical_computer_science.
- Grammar_systems_theory subject Category:Theoretical_computer_science.
- Granular_computing subject Category:Theoretical_computer_science.
- Gustafson's_law subject Category:Theoretical_computer_science.
- Gödel_Prize subject Category:Theoretical_computer_science.
- Hindley–Milner_type_system subject Category:Theoretical_computer_science.
- Idempotence subject Category:Theoretical_computer_science.
- Indirect_self-reference subject Category:Theoretical_computer_science.
- Institution_(computer_science) subject Category:Theoretical_computer_science.
- Institutional_model_theory subject Category:Theoretical_computer_science.
- Interactive_computation subject Category:Theoretical_computer_science.
- Journal_of_Automata,_Languages_and_Combinatorics subject Category:Theoretical_computer_science.
- Knuth_Prize subject Category:Theoretical_computer_science.
- Krohn–Rhodes_theory subject Category:Theoretical_computer_science.
- Lambda_calculus subject Category:Theoretical_computer_science.
- Level_ancestor_problem subject Category:Theoretical_computer_science.
- LogP_machine subject Category:Theoretical_computer_science.
- Lowest_common_ancestor subject Category:Theoretical_computer_science.
- Lulu_smoothing subject Category:Theoretical_computer_science.
- Monge_array subject Category:Theoretical_computer_science.
- Motion_planning subject Category:Theoretical_computer_science.
- Natural_computing subject Category:Theoretical_computer_science.
- Neighbour-sensing_model subject Category:Theoretical_computer_science.
- Nerode_Prize subject Category:Theoretical_computer_science.
- Nominal_techniques subject Category:Theoretical_computer_science.
- Nominal_terms_(computer_science) subject Category:Theoretical_computer_science.
- Notation_for_theoretic_scheduling_problems subject Category:Theoretical_computer_science.
- Pattern_language_(formal_languages) subject Category:Theoretical_computer_science.
- Peptide_computing subject Category:Theoretical_computer_science.
- Postselection subject Category:Theoretical_computer_science.
- Probabilistic_bisimulation subject Category:Theoretical_computer_science.
- Promise_theory subject Category:Theoretical_computer_science.
- Property_testing subject Category:Theoretical_computer_science.
- Pseudorandomness subject Category:Theoretical_computer_science.
- Pursuit-evasion subject Category:Theoretical_computer_science.
- Quantum_algorithm subject Category:Theoretical_computer_science.
- Quantum_capacity subject Category:Theoretical_computer_science.
- Quantum_computer subject Category:Theoretical_computer_science.
- Quantum_digital_signature subject Category:Theoretical_computer_science.
- Quantum_threshold_theorem subject Category:Theoretical_computer_science.
- Quasi-empiricism_in_mathematics subject Category:Theoretical_computer_science.
- Recursion_(computer_science) subject Category:Theoretical_computer_science.
- Recursive_definition subject Category:Theoretical_computer_science.
- Representer_theorem subject Category:Theoretical_computer_science.
- Roger_Schank subject Category:Theoretical_computer_science.
- Rough_set subject Category:Theoretical_computer_science.
- Scientific_community_metaphor subject Category:Theoretical_computer_science.
- Semigroup_action subject Category:Theoretical_computer_science.
- Simulation_preorder subject Category:Theoretical_computer_science.
- Small-bias_sample_space subject Category:Theoretical_computer_science.
- Spintronics subject Category:Theoretical_computer_science.
- Sun-Ni_law subject Category:Theoretical_computer_science.
- Task-oriented_information_modelling subject Category:Theoretical_computer_science.
- Theoretical_computer_science subject Category:Theoretical_computer_science.
- Transcriptor subject Category:Theoretical_computer_science.
- Turing_machine subject Category:Theoretical_computer_science.
- Weakest_precondition subject Category:Theoretical_computer_science.
- Π-calculus subject Category:Theoretical_computer_science.
- Category:Computational_complexity_theory broader Category:Theoretical_computer_science.