Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Theoretical_computer_science> }
- Computational_science wikiPageWikiLink Theoretical_computer_science.
- Computer_mathematics wikiPageWikiLink Theoretical_computer_science.
- Computer_science wikiPageWikiLink Theoretical_computer_science.
- Computer_science_theory wikiPageWikiLink Theoretical_computer_science.
- Concurrency_(computer_science) wikiPageWikiLink Theoretical_computer_science.
- Context-sensitive_language wikiPageWikiLink Theoretical_computer_science.
- Continuous_knapsack_problem wikiPageWikiLink Theoretical_computer_science.
- Control_flow wikiPageWikiLink Theoretical_computer_science.
- Correctness_(computer_science) wikiPageWikiLink Theoretical_computer_science.
- Counter_machine wikiPageWikiLink Theoretical_computer_science.
- Crossing_sequence_(Turing_machines) wikiPageWikiLink Theoretical_computer_science.
- Currying wikiPageWikiLink Theoretical_computer_science.
- Dana_Randall wikiPageWikiLink Theoretical_computer_science.
- Dana_Scott wikiPageWikiLink Theoretical_computer_science.
- David_Hilbert wikiPageWikiLink Theoretical_computer_science.
- Department_of_Computer_Science,_University_of_Bristol wikiPageWikiLink Theoretical_computer_science.
- Deterministic_finite_automaton wikiPageWikiLink Theoretical_computer_science.
- Digital_physics wikiPageWikiLink Theoretical_computer_science.
- Discrete_Mathematics_&_Theoretical_Computer_Science wikiPageWikiLink Theoretical_computer_science.
- Discrete_mathematics wikiPageWikiLink Theoretical_computer_science.
- Distributed_computing wikiPageWikiLink Theoretical_computer_science.
- Donald_Knuth wikiPageWikiLink Theoretical_computer_science.
- Driver_scheduling_problem wikiPageWikiLink Theoretical_computer_science.
- Dynamic_epistemic_logic wikiPageWikiLink Theoretical_computer_science.
- Dynamic_logic_(digital_electronics) wikiPageWikiLink Theoretical_computer_science.
- E._M._V._Krishnamurthy wikiPageWikiLink Theoretical_computer_science.
- Edsger_W._Dijkstra wikiPageWikiLink Theoretical_computer_science.
- Electronic_Proceedings_in_Theoretical_Computer_Science wikiPageWikiLink Theoretical_computer_science.
- Eliezer_Yudkowsky wikiPageWikiLink Theoretical_computer_science.
- Encompassment_ordering wikiPageWikiLink Theoretical_computer_science.
- Endre_Szemerédi wikiPageWikiLink Theoretical_computer_science.
- Epistemic_modal_logic wikiPageWikiLink Theoretical_computer_science.
- European_Association_for_Theoretical_Computer_Science wikiPageWikiLink Theoretical_computer_science.
- European_Master_Program_in_Computational_Logic wikiPageWikiLink Theoretical_computer_science.
- Eval wikiPageWikiLink Theoretical_computer_science.
- Evelyn_Nelson_(mathematician) wikiPageWikiLink Theoretical_computer_science.
- Faron_Moller wikiPageWikiLink Theoretical_computer_science.
- Ferdinand_Peper wikiPageWikiLink Theoretical_computer_science.
- Fixed_point_(mathematics) wikiPageWikiLink Theoretical_computer_science.
- Formal_grammar wikiPageWikiLink Theoretical_computer_science.
- Formal_methods wikiPageWikiLink Theoretical_computer_science.
- Formal_power_series wikiPageWikiLink Theoretical_computer_science.
- Formal_science wikiPageWikiLink Theoretical_computer_science.
- Foundations_and_Trends_in_Theoretical_Computer_Science wikiPageWikiLink Theoretical_computer_science.
- French_Institute_for_Research_in_Computer_Science_and_Automation wikiPageWikiLink Theoretical_computer_science.
- Full_employment_theorem wikiPageWikiLink Theoretical_computer_science.
- G._Mike_Reed wikiPageWikiLink Theoretical_computer_science.
- Gad_Landau wikiPageWikiLink Theoretical_computer_science.
- Game_semantics wikiPageWikiLink Theoretical_computer_science.
- Gennady_Simeonovich_Osipov wikiPageWikiLink Theoretical_computer_science.
- Glossary_of_areas_of_mathematics wikiPageWikiLink Theoretical_computer_science.
- Glushkovs_construction_algorithm wikiPageWikiLink Theoretical_computer_science.
- Gottfried_Wilhelm_Leibniz_Prize wikiPageWikiLink Theoretical_computer_science.
- Grammar_systems_theory wikiPageWikiLink Theoretical_computer_science.
- Grant_Olney wikiPageWikiLink Theoretical_computer_science.
- Graphs_and_Combinatorics wikiPageWikiLink Theoretical_computer_science.
- Greibachs_theorem wikiPageWikiLink Theoretical_computer_science.
- Gödel_Prize wikiPageWikiLink Theoretical_computer_science.
- Hadamard_code wikiPageWikiLink Theoretical_computer_science.
- Hans-Jörg_Kreowski wikiPageWikiLink Theoretical_computer_science.
- Heavy_path_decomposition wikiPageWikiLink Theoretical_computer_science.
- Heinrich_Scholz wikiPageWikiLink Theoretical_computer_science.
- Hidden_subgroup_problem wikiPageWikiLink Theoretical_computer_science.
- Hierarchy_(mathematics) wikiPageWikiLink Theoretical_computer_science.
- Hisao_Yamada wikiPageWikiLink Theoretical_computer_science.
- History_of_compiler_construction wikiPageWikiLink Theoretical_computer_science.
- Informatics wikiPageWikiLink Theoretical_computer_science.
- Ingo_Wegener wikiPageWikiLink Theoretical_computer_science.
- Institute_for_Advanced_Study,_Tsinghua_University wikiPageWikiLink Theoretical_computer_science.
- Institute_of_Mathematical_Sciences,_Chennai wikiPageWikiLink Theoretical_computer_science.
- Institute_of_Mathematics,_Physics,_and_Mechanics wikiPageWikiLink Theoretical_computer_science.
- International_Colloquium_on_Automata,_Languages_and_Programming wikiPageWikiLink Theoretical_computer_science.
- International_Conference_on_Theory_and_Applications_of_Models_of_Computation wikiPageWikiLink Theoretical_computer_science.
- International_Journal_of_Foundations_of_Computer_Science wikiPageWikiLink Theoretical_computer_science.
- International_Journal_of_Software_and_Informatics wikiPageWikiLink Theoretical_computer_science.
- International_Symposium_on_Algorithms_and_Computation wikiPageWikiLink Theoretical_computer_science.
- International_Symposium_on_Fundamentals_of_Computation_Theory wikiPageWikiLink Theoretical_computer_science.
- Interpretation_(logic) wikiPageWikiLink Theoretical_computer_science.
- Introduction_to_the_Theory_of_Computation wikiPageWikiLink Theoretical_computer_science.
- Inverse_semigroup wikiPageWikiLink Theoretical_computer_science.
- Isolation_lemma wikiPageWikiLink Theoretical_computer_science.
- Jeffrey_Lagarias wikiPageWikiLink Theoretical_computer_science.
- Jennifer_Tour_Chayes wikiPageWikiLink Theoretical_computer_science.
- Joan_Feigenbaum wikiPageWikiLink Theoretical_computer_science.
- Johan_Håstad wikiPageWikiLink Theoretical_computer_science.
- Joseph_S._B._Mitchell wikiPageWikiLink Theoretical_computer_science.
- Julius_Richard_Büchi wikiPageWikiLink Theoretical_computer_science.
- Juraj_Hromkovič wikiPageWikiLink Theoretical_computer_science.
- K-minimum_spanning_tree wikiPageWikiLink Theoretical_computer_science.
- K-server_problem wikiPageWikiLink Theoretical_computer_science.
- Ketan_Mulmuley wikiPageWikiLink Theoretical_computer_science.
- Kleenes_algorithm wikiPageWikiLink Theoretical_computer_science.
- Knuth_Prize wikiPageWikiLink Theoretical_computer_science.
- Kripke_semantics wikiPageWikiLink Theoretical_computer_science.
- Kurt_Mehlhorn wikiPageWikiLink Theoretical_computer_science.
- LambdaNative wikiPageWikiLink Theoretical_computer_science.
- Lawrence_L._Larmore wikiPageWikiLink Theoretical_computer_science.
- Leslie_Valiant wikiPageWikiLink Theoretical_computer_science.
- Level_ancestor_problem wikiPageWikiLink Theoretical_computer_science.
- Levis_lemma wikiPageWikiLink Theoretical_computer_science.