Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/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.
- Blockhead_(computer_system) subject Category:Theory_of_computation.
- Bremermann's_limit subject Category:Theory_of_computation.
- Brooks–Iyengar_algorithm subject Category:Theory_of_computation.
- Busy_beaver subject Category:Theory_of_computation.
- Byzantine_fault_tolerance subject Category:Theory_of_computation.
- Chain_rule_for_Kolmogorov_complexity subject Category:Theory_of_computation.
- Chaitin's_constant subject Category:Theory_of_computation.
- Church–Turing_thesis subject Category:Theory_of_computation.
- Church–Turing–Deutsch_principle subject Category:Theory_of_computation.
- Circuit_(computer_science) subject Category:Theory_of_computation.
- Communicating_X-Machine subject Category:Theory_of_computation.
- Computability subject Category:Theory_of_computation.
- Computable_function subject Category:Theory_of_computation.
- Computable_isomorphism subject Category:Theory_of_computation.
- Computable_number subject Category:Theory_of_computation.
- Computation_history subject Category:Theory_of_computation.
- Computation_in_the_limit subject Category:Theory_of_computation.
- Computational_semiotics subject Category:Theory_of_computation.
- Cylindric_numbering subject Category:Theory_of_computation.
- Cylindrification subject Category:Theory_of_computation.
- Description_number subject Category:Theory_of_computation.
- Digital_physics subject Category:Theory_of_computation.
- Effective_method subject Category:Theory_of_computation.
- Entscheidungsproblem subject Category:Theory_of_computation.
- Extended_finite-state_machine subject Category:Theory_of_computation.
- First_Draft_of_a_Report_on_the_EDVAC subject Category:Theory_of_computation.
- Gödel_numbering subject Category:Theory_of_computation.
- Halting_problem subject Category:Theory_of_computation.
- History_of_the_Church–Turing_thesis subject Category:Theory_of_computation.
- Hypercomputation subject Category:Theory_of_computation.
- Interactive_computation subject Category:Theory_of_computation.
- Introduction_to_the_Theory_of_Computation subject Category:Theory_of_computation.
- Limits_to_computation subject Category:Theory_of_computation.
- List_of_computability_and_complexity_topics subject Category:Theory_of_computation.
- List_of_undecidable_problems subject Category:Theory_of_computation.
- Markov_algorithm subject Category:Theory_of_computation.
- Model_of_computation subject Category:Theory_of_computation.
- Mortality_(computability_theory) subject Category:Theory_of_computation.
- Mutual_recursion subject Category:Theory_of_computation.
- Nomogram subject Category:Theory_of_computation.
- Nondeterministic_algorithm subject Category:Theory_of_computation.
- Numbering_(computability_theory) subject Category:Theory_of_computation.
- Omega_language subject Category:Theory_of_computation.
- Parallel_computation_thesis subject Category:Theory_of_computation.
- Parallel_terraced_scan subject Category:Theory_of_computation.
- Post_correspondence_problem subject Category:Theory_of_computation.
- Powerset_construction subject Category:Theory_of_computation.
- Primitive_recursive_function subject Category:Theory_of_computation.
- Quantum_Byzantine_agreement subject Category:Theory_of_computation.
- Range_problem subject Category:Theory_of_computation.
- Reachability_problem subject Category:Theory_of_computation.
- Real_computation subject Category:Theory_of_computation.
- Recurrence_relation subject Category:Theory_of_computation.
- Recursion subject Category:Theory_of_computation.
- Recursive_language subject Category:Theory_of_computation.
- Recursive_languages_and_sets subject Category:Theory_of_computation.
- Recursive_set subject Category:Theory_of_computation.
- Recursively_enumerable_language subject Category:Theory_of_computation.
- Recursively_enumerable_set subject Category:Theory_of_computation.
- Rice's_theorem subject Category:Theory_of_computation.
- Rice–Shapiro_theorem subject Category:Theory_of_computation.
- Rounding subject Category:Theory_of_computation.
- SXM_(computational_model) subject Category:Theory_of_computation.
- Scale_factor_(computer_science) subject Category:Theory_of_computation.
- Self-reference subject Category:Theory_of_computation.
- Semi-Thue_system subject Category:Theory_of_computation.
- Semiotic_engineering subject Category:Theory_of_computation.
- Shadow_square subject Category:Theory_of_computation.
- Simply_typed_lambda_calculus subject Category:Theory_of_computation.
- Smn_theorem subject Category:Theory_of_computation.
- Stream_X-Machine subject Category:Theory_of_computation.
- Structured_program_theorem subject Category:Theory_of_computation.
- Sudan_function subject Category:Theory_of_computation.
- Super-recursive_algorithm subject Category:Theory_of_computation.
- Tail_recursion subject Category:Theory_of_computation.
- Tarski–Kuratowski_algorithm subject Category:Theory_of_computation.
- Ten15 subject Category:Theory_of_computation.
- Theory_of_computation subject Category:Theory_of_computation.
- Transcomputational_problem subject Category:Theory_of_computation.
- Turing's_proof subject Category:Theory_of_computation.
- Turing_completeness subject Category:Theory_of_computation.
- Turing_degree subject Category:Theory_of_computation.
- Turing_machine_equivalents subject Category:Theory_of_computation.
- Turing_tarpit subject Category:Theory_of_computation.
- Two_Generals'_Problem subject Category:Theory_of_computation.
- Typed_lambda_calculus subject Category:Theory_of_computation.
- Undefined_value subject Category:Theory_of_computation.
- Utm_theorem subject Category:Theory_of_computation.
- Wang_tile subject Category:Theory_of_computation.
- Workshop_on_Reachability_Problems subject Category:Theory_of_computation.
- X-Machine_Testing subject Category:Theory_of_computation.
- X-machine subject Category:Theory_of_computation.
- Yao's_test subject Category:Theory_of_computation.
- Μ-recursive_function subject Category:Theory_of_computation.
- Category:Algorithmic_information_theory broader Category:Theory_of_computation.
- Category:Automata_theory broader Category:Theory_of_computation.
- Category:Computability_theory broader Category:Theory_of_computation.