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