Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Theory_of_computation> }
- Bremermanns_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.
- Chaitins_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.
- Enumerator_(computer_science) 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.
- Ludwig_Staiger 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.
- Primitive_recursive_function subject Category:Theory_of_computation.
- Primitive_recursive_set_function subject Category:Theory_of_computation.
- Quantum_Byzantine_agreement 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_set subject Category:Theory_of_computation.
- Recursively_enumerable_language subject Category:Theory_of_computation.
- Recursively_enumerable_set 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.
- Stream_X-Machine 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_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.
- Turings_proof 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.
- Universality_probability 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.
- Yaos_test subject Category:Theory_of_computation.
- Μ-recursive_function subject Category:Theory_of_computation.
- Category:Algorithmic_information_theory broader Category:Theory_of_computation.
- Category:Computability_theory broader Category:Theory_of_computation.
- Category:Computational_complexity_theory broader Category:Theory_of_computation.
- Category:Computer_arithmetic broader Category:Theory_of_computation.
- Category:Hypercomputation broader Category:Theory_of_computation.
- Category:Models_of_computation broader Category:Theory_of_computation.
- Category:Theorems_in_theory_of_computation broader Category:Theory_of_computation.
- Category:Computability_theory related Category:Theory_of_computation.