Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Theory_of_computation> }
- Ackermann_function wikiPageWikiLink Category:Theory_of_computation.
- Admissible_numbering wikiPageWikiLink Category:Theory_of_computation.
- Algorithmic_game_theory wikiPageWikiLink Category:Theory_of_computation.
- Andreas_Brandstädt wikiPageWikiLink Category:Theory_of_computation.
- Blockhead_(computer_system) wikiPageWikiLink Category:Theory_of_computation.
- Bremermanns_limit wikiPageWikiLink Category:Theory_of_computation.
- Brooks–Iyengar_algorithm wikiPageWikiLink Category:Theory_of_computation.
- Busy_beaver wikiPageWikiLink Category:Theory_of_computation.
- Byzantine_fault_tolerance wikiPageWikiLink Category:Theory_of_computation.
- Chain_rule_for_Kolmogorov_complexity wikiPageWikiLink Category:Theory_of_computation.
- Chaitins_constant wikiPageWikiLink Category:Theory_of_computation.
- Church–Turing_thesis wikiPageWikiLink Category:Theory_of_computation.
- Church–Turing–Deutsch_principle wikiPageWikiLink Category:Theory_of_computation.
- Circuit_(computer_science) wikiPageWikiLink Category:Theory_of_computation.
- Communicating_X-Machine wikiPageWikiLink Category:Theory_of_computation.
- Computability wikiPageWikiLink Category:Theory_of_computation.
- Computable_function wikiPageWikiLink Category:Theory_of_computation.
- Computable_isomorphism wikiPageWikiLink Category:Theory_of_computation.
- Computable_number wikiPageWikiLink Category:Theory_of_computation.
- Computation_history wikiPageWikiLink Category:Theory_of_computation.
- Computation_in_the_limit wikiPageWikiLink Category:Theory_of_computation.
- Computational_semiotics wikiPageWikiLink Category:Theory_of_computation.
- Cylindric_numbering wikiPageWikiLink Category:Theory_of_computation.
- Cylindrification wikiPageWikiLink Category:Theory_of_computation.
- Description_number wikiPageWikiLink Category:Theory_of_computation.
- Digital_physics wikiPageWikiLink Category:Theory_of_computation.
- Effective_method wikiPageWikiLink Category:Theory_of_computation.
- Entscheidungsproblem wikiPageWikiLink Category:Theory_of_computation.
- Enumerator_(computer_science) wikiPageWikiLink Category:Theory_of_computation.
- Extended_finite-state_machine wikiPageWikiLink Category:Theory_of_computation.
- First_Draft_of_a_Report_on_the_EDVAC wikiPageWikiLink Category:Theory_of_computation.
- Gödel_numbering wikiPageWikiLink Category:Theory_of_computation.
- Halting_problem wikiPageWikiLink Category:Theory_of_computation.
- History_of_the_Church–Turing_thesis wikiPageWikiLink Category:Theory_of_computation.
- Hypercomputation wikiPageWikiLink Category:Theory_of_computation.
- Interactive_computation wikiPageWikiLink Category:Theory_of_computation.
- Introduction_to_the_Theory_of_Computation wikiPageWikiLink Category:Theory_of_computation.
- Limits_to_computation wikiPageWikiLink Category:Theory_of_computation.
- List_of_computability_and_complexity_topics wikiPageWikiLink Category:Theory_of_computation.
- List_of_mathematics_categories wikiPageWikiLink Category:Theory_of_computation.
- List_of_undecidable_problems wikiPageWikiLink Category:Theory_of_computation.
- Ludwig_Staiger wikiPageWikiLink Category:Theory_of_computation.
- Markov_algorithm wikiPageWikiLink Category:Theory_of_computation.
- Model_of_computation wikiPageWikiLink Category:Theory_of_computation.
- Mortality_(computability_theory) wikiPageWikiLink Category:Theory_of_computation.
- Mutual_recursion wikiPageWikiLink Category:Theory_of_computation.
- Nomogram wikiPageWikiLink Category:Theory_of_computation.
- Nondeterministic_algorithm wikiPageWikiLink Category:Theory_of_computation.
- Numbering_(computability_theory) wikiPageWikiLink Category:Theory_of_computation.
- Omega_language wikiPageWikiLink Category:Theory_of_computation.
- Parallel_computation_thesis wikiPageWikiLink Category:Theory_of_computation.
- Parallel_terraced_scan wikiPageWikiLink Category:Theory_of_computation.
- Post_correspondence_problem wikiPageWikiLink Category:Theory_of_computation.
- Primitive_recursive_function wikiPageWikiLink Category:Theory_of_computation.
- Primitive_recursive_set_function wikiPageWikiLink Category:Theory_of_computation.
- Quantum_Byzantine_agreement wikiPageWikiLink Category:Theory_of_computation.
- Reachability_problem wikiPageWikiLink Category:Theory_of_computation.
- Real_computation wikiPageWikiLink Category:Theory_of_computation.
- Recurrence_relation wikiPageWikiLink Category:Theory_of_computation.
- Recursion wikiPageWikiLink Category:Theory_of_computation.
- Recursive_language wikiPageWikiLink Category:Theory_of_computation.
- Recursive_set wikiPageWikiLink Category:Theory_of_computation.
- Recursively_enumerable_language wikiPageWikiLink Category:Theory_of_computation.
- Recursively_enumerable_set wikiPageWikiLink Category:Theory_of_computation.
- Rounding wikiPageWikiLink Category:Theory_of_computation.
- SXM_(computational_model) wikiPageWikiLink Category:Theory_of_computation.
- Scale_factor_(computer_science) wikiPageWikiLink Category:Theory_of_computation.
- Self-reference wikiPageWikiLink Category:Theory_of_computation.
- Semi-Thue_system wikiPageWikiLink Category:Theory_of_computation.
- Semiotic_engineering wikiPageWikiLink Category:Theory_of_computation.
- Shadow_square wikiPageWikiLink Category:Theory_of_computation.
- Simply_typed_lambda_calculus wikiPageWikiLink Category:Theory_of_computation.
- Stream_X-Machine wikiPageWikiLink Category:Theory_of_computation.
- Sudan_function wikiPageWikiLink Category:Theory_of_computation.
- Super-recursive_algorithm wikiPageWikiLink Category:Theory_of_computation.
- Tail_recursion wikiPageWikiLink Category:Theory_of_computation.
- Tarski–Kuratowski_algorithm wikiPageWikiLink Category:Theory_of_computation.
- Ten15 wikiPageWikiLink Category:Theory_of_computation.
- Theory_of_computation wikiPageWikiLink Category:Theory_of_computation.
- Transcomputational_problem wikiPageWikiLink Category:Theory_of_computation.
- Turing_completeness wikiPageWikiLink Category:Theory_of_computation.
- Turing_degree wikiPageWikiLink Category:Theory_of_computation.
- Turing_machine_equivalents wikiPageWikiLink Category:Theory_of_computation.
- Turing_tarpit wikiPageWikiLink Category:Theory_of_computation.
- Turings_proof wikiPageWikiLink Category:Theory_of_computation.
- Two_Generals_Problem wikiPageWikiLink Category:Theory_of_computation.
- Typed_lambda_calculus wikiPageWikiLink Category:Theory_of_computation.
- Undefined_value wikiPageWikiLink Category:Theory_of_computation.
- Universality_probability wikiPageWikiLink Category:Theory_of_computation.
- Wang_tile wikiPageWikiLink Category:Theory_of_computation.
- Workshop_on_Reachability_Problems wikiPageWikiLink Category:Theory_of_computation.
- X-Machine_Testing wikiPageWikiLink Category:Theory_of_computation.
- X-machine wikiPageWikiLink Category:Theory_of_computation.
- Yaos_test wikiPageWikiLink Category:Theory_of_computation.
- Μ-recursive_function wikiPageWikiLink Category:Theory_of_computation.
- Ackermann_function subject Category:Theory_of_computation.
- Admissible_numbering subject Category:Theory_of_computation.
- Algorithmic_game_theory subject Category:Theory_of_computation.
- Andreas_Brandstädt subject Category:Theory_of_computation.
- Blockhead_(computer_system) subject Category:Theory_of_computation.