This HTML5 document contains 1031 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n41http://www.confsearch.org/confsearch/faces/pages/
dbpedia-lbhttp://lb.dbpedia.org/resource/
n40https://www.degruyter.com/view/j/
dbpedia-nlhttp://nl.dbpedia.org/resource/
n27https://web.archive.org/web/20170715101741/http:/www.sigact.org/
foafhttp://xmlns.com/foaf/0.1/
n26http://theory.csail.mit.edu/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-asthttp://ast.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-fihttp://fi.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
n15https://cstheory.stackexchange.com/
dbpedia-elhttp://el.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-skhttp://sk.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
n35http://theorymatters.org/
dbpedia-jahttp://ja.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-tlhttp://tl.dbpedia.org/resource/
n14http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-globalhttps://global.dbpedia.org/id/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n29http://
dbpedia-bghttp://bg.dbpedia.org/resource/
dbpedia-ethttp://et.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
dbpedia-myhttp://my.dbpedia.org/resource/
dbpedia-bnhttp://bn.dbpedia.org/resource/
dbpedia-lmohttp://lmo.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
freebasehttp://rdf.freebase.com/ns/
n7http://dbpedia.org/resource/File:
dbthttp://dbpedia.org/resource/Template:
n22http://dbpedia.org/resource/Canada/
n42http://www.csanimated.com/
n12http://d-nb.info/gnd/
dbpedia-cshttp://cs.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n16http://dbpedia.org/resource/Wikt:
dbpedia-ithttp://it.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Star_height
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Yuri_Matiyasevich
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hadamard_code
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Jeffrey_Lagarias
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Currying
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:French_Institute_for_Research_in_Computer_Science_and_Automation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Automated_reasoning
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Samson_Abramsky
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Noncommutative_signal-flow_graph
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michael_Barr_(mathematician)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:subDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Driver_scheduling_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Symposium_on_Fundamentals_of_Computation_Theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Kleene's_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Nicole_Megow
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Helmut_Veith
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:The_Turing_Guide
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Innovations_in_Theoretical_Computer_Science
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Semifield
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pattern_language_(formal_languages)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Christel_Baier
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Jin-Yi_Cai
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mariangiola_Dezani-Ciancaglini
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Non-classical_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Automata_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Fixed_point_(mathematics)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:NP-completeness
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:P_versus_NP_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Epistemic_modal_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Geocode
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michel_Talagrand
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maryam_Mirzakhani
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Quantifier_elimination
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Branches_of_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Applied_mathematics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Machine_learning
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dana_Scott
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Regular_grammar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Millennium_Prize_Problems
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Busy_beaver
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rényi_entropy
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Centrum_Wiskunde_&_Informatica
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Formal_methods
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Matrix_multiplication
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Markov_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ran_Raz
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Andris_Ambainis
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Jennifer_Tour_Chayes
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Shafi_Goldwasser
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sheila_Greibach
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Ursula_Martin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Acta_Informatica
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Discrete_mathematics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Metric_space
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Numeral_system
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Subalgebra
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Trapdoor_function
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Institute_of_Mathematical_Sciences,_Chennai
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:European_Association_for_Theoretical_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pointed_set
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Stone_duality
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:SUHA_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Parikh's_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Paris_Kanellakis
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Tutte_polynomial
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Chinese_room
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Closure_operator
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Bernhard_Thalheim
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ingo_Wegener
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Cook–Levin_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Formal_grammar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Control_flow
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Reed–Muller_code
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Linked_data_structure
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mathematical_economics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Health_informatics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Leibniz_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ernst-Rüdiger_Olderog
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ernst_Mayr_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:TUM_School_of_Computation,_Information_and_Technology
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Boris_Trakhtenbrot
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Saint_Petersburg_Academic_University
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Knuth_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Abstract_rewriting_system
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pseudorandomness
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Emptiness_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dynamic_logic_(digital_electronics)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maurice_Nivat
dbo:knownFor
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:knownFor
dbr:Theoretical_computer_science
Subject Item
dbr:Faron_Moller
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Formal_semantics_(natural_language)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Foundations_and_Trends_in_Theoretical_Computer_Science
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:G._Mike_Reed
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Haim_Gaifman
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dexter_Kozen
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Modal_μ-calculus
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:K-minimum_spanning_tree
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:K-server_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Patrick_C._Fischer
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maximum_common_induced_subgraph
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_Amherst_College_people
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Juhani_Karhumäki
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Reductionism
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Combinatorics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Heinrich_Scholz
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:TCS
dbo:wikiPageDisambiguates
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Otto_von_Guericke_University_Magdeburg
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Gregory_Chaitin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Gödel_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Self-hosting_(compilers)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Bertrand_du_Castel
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Peter_O'Hearn
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Peter_Ružička
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Math_in_Moscow
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Turing_completeness
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Kripke_semantics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mathematical_Reviews
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Scientific_journal
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Combinatorial_optimization
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Concurrency_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Yuval_Peres
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Algorithmic_information_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Partial_function
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Carel_S._Scholten
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Multimodal_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_computer_science_conferences
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Scott_Aaronson
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Institute_of_Mathematics_and_Applications,_Bhubaneswar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Colloquium_on_Automata,_Languages_and_Programming
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Isolation_lemma
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Arden's_rule
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Combinatorial_game_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Formal_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Circuit_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Deterministic_finite_automaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Nondeterministic_Turing_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Probabilistic_Turing_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Szemerédi_regularity_lemma
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Neeraj_Kayal
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Nitin_Saxena
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Hierarchy_(mathematics)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:David_Gries
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Alan_M._Frieze
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Alasdair_Urquhart
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Categorical_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pierluigi_Crescenzi
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Probabilistic_bisimulation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Proof_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Symposium_on_Algorithms_and_Computation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Long_code_(mathematics)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Brzozowski_derivative
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Alan_Turing
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dialectic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dijkstra's_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Edsger_W._Dijkstra
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Noam_Chomsky
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Quantum_computing
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Transition_system
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Greedy_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Interpretation_(logic)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Prefix_grammar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Matrix_multiplication_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theoretical_computer_science
rdf:type
dbo:AcademicSubject
owl:differentFrom
dbr:Theory_of_computation
owl:sameAs
dbpedia-ar:علم_الحاسوب_النظري dbpedia-de:Theoretische_Informatik dbpedia-hr:Teoretsko_računarstvo n12:4196735-5 dbpedia-uk:Теоретична_інформатика dbpedia-sr:Teorijska_računarska_nauka dbpedia-vi:Khoa_học_máy_tính_lý_thuyết dbpedia-lmo:Informatega_teorica dbpedia-global:2gEEV dbpedia-ast:Ciencia_computacional_teórica dbpedia-it:Informatica_teorica dbpedia-lb:Theoreetesch_Informatik dbpedia-ko:이론_컴퓨터_과학 dbpedia-fi:Tietojenkäsittelyteoria dbpedia-tl:Teoretikal_na_agham_pangkompyuter dbpedia-tr:Teorik_bilgisayar_bilimi dbpedia-et:Teoreetiline_informaatika dbpedia-ja:理論計算機科学 dbpedia-pl:Informatyka_(teoretyczna) wikidata:Q2878974 dbpedia-gl:Ciencia_computacional_teórica dbpedia-fr:Informatique_théorique dbpedia-pt:Ciência_da_computação_teórica dbpedia-ru:Теоретическая_информатика dbpedia-sk:Teoretická_informatika dbpedia-cs:Teoretická_informatika dbpedia-nl:Theoretische_informatica dbpedia-ca:Informàtica_teòrica freebase:m.01vtwr dbpedia-fa:علوم_نظری_رایانه dbpedia-simple:Theoretical_computer_science dbpedia-bg:Теоретична_информатика dbpedia-sv:Teoretisk_datavetenskap dbpedia-zh:理論計算機科學 dbpedia-my:သဘောတရားဆိုင်ရာ_ကွန်ပျူတာသိပ္ပံ dbpedia-el:Θεωρητική_Πληροφορική dbpedia-es:Ciencia_computacional_teórica dbpedia-bn:তাত্ত্বিক_কম্পিউটার_বিজ্ঞান
rdfs:label
Teoretická informatika علم الحاسوب النظري 理論計算機科学 Teoretisk datavetenskap Theoretische informatica Ciencia computacional teórica Informàtica teòrica Теоретична інформатика Informatyka (teoretyczna) Informatique théorique Θεωρητική Πληροφορική Theoretische Informatik 이론 컴퓨터 과학 Ciência da computação teórica Theoretical computer science Informatica teorica 理論計算機科學 Теоретическая информатика
foaf:depiction
n14:Wang_tiles.svg n14:TSP_Deutschland_3.png n14:Blochsphere.svg n14:6n-graf.svg n14:SimplexRangeSearching.svg n14:DFAexample.svg n14:Commutative_diagram_for_morphism.svg n14:Elliptic_curve_simple.svg
prov:wasDerivedFrom
wikipedia-en:Theoretical_computer_science?oldid=1293482173&ns=0
dbo:description
subfield of computer science and mathematics τομέας της επιστήμης υπολογιστών και των μαθηματικών احد فروع علم الحاسوب divisió o subconjunt de les ciències de computació i matemàtiques Teilgebiet der Informatik und Mathematik sous-discipline de l'informatique et des mathématiques bagian dari ilmu komputer dan matematika división o subconjunto de las ciencias de la computación y las matemáticas галузь інформатики і математики תת תחום של מדעי המחשב ומתמטיקה campo dell'informatica e della matematica 計算機を理論的に研究する学問
dbo:thumbnail
n14:DFAexample.svg?width=300
dbo:wikiPageExternalLink
n15: n26: n27:webpages.php n29:www.confsearch.org n35: n40:comp n41:topic.jsp%3Ftopic=Theory&sortMode=1&graphicView=1 n42:browse.php
dbo:wikiPageWikiLink
dbr:Peer-to-peer dbr:Computing dbr:Data_mining dbr:Computational_Complexity_(journal) dbr:Foundations_and_Trends_in_Theoretical_Computer_Science dbr:Circuit_complexity dbr:Information_theoretic_security dbr:Open_access_(publishing) dbr:Data_processing dbr:International_Journal_of_Foundations_of_Computer_Science n7:TSP_Deutschland_3.png dbr:Spam_filter dbr:Theory_of_computation dbr:Learning_to_rank dbr:Neural_network dbr:Computer_vision dbr:Neurobiology dbr:Software dbr:NP-complete dbr:Programming_language_syntax dbr:Space–time dbr:Location_transparency dbr:Service-oriented_architecture dbr:Computer_platform dbr:Message-oriented_middleware dbr:Computational_hardness_assumption dbr:List_of_important_publications_in_theoretical_computer_science dbr:Computational_biology dbr:Computer_algebra dbr:Incompleteness_theorem dbr:Formal_specification dbr:Internet dbr:International_Colloquium_on_Automata,_Languages_and_Programming dbr:Rigor n7:6n-graf.svg dbr:Machine_learning dbr:Lossless_data_compression dbr:Yuri_Manin dbr:Non-repudiation dbr:Probabilistic_automaton dbr:Massachusetts_Institute_of_Technology dbr:Mathematical_visualization dbr:MP3 dbr:Computer_graphics dbr:Fundamenta_Informaticae dbr:Richard_Feynman dbr:Models_of_computation dbr:Statistics dbr:Synchronization_(computer_science) dbr:Message_passing dbr:Communications_protocol dbr:Information_and_Computation dbr:Algorithmic_information_theory dbr:Algorithms dbr:Programming_language dbr:Statistical_model dbr:Information_theory dbr:Chemistry n7:Wang_tiles.svg dbr:Bitcoin dbr:Polynomial_time dbr:Parallel_computation dbr:Information_security dbr:Central_processing_unit dbr:Random_Access_Memory dbr:Algorithm dbr:Hash_table dbr:Computer_program dbr:Glue_logic dbr:Linguistics dbr:European_Symposium_on_Algorithms dbr:Computational_number_theory n16:finite dbr:DSL dbr:Martin_Davis_(mathematician) dbr:Formal_language dbr:ACM_SIGACT dbr:Symposium_on_Theoretical_Aspects_of_Computer_Science dbr:Symposium_on_Theory_of_Computing dbr:Variable_(mathematics) dbr:Computation dbc:Theoretical_computer_science dbr:Symposium_on_Computational_Geometry dbr:Symposium_on_Foundations_of_Computer_Science dbr:Symposium_on_Parallelism_in_Algorithms_and_Architectures n7:Blochsphere.svg dbr:Bioengineering dbr:Qubits dbr:Graph_theory dbr:Leonid_Levin dbr:B-tree dbr:Very-large-scale_integration dbr:Speedup dbr:Type_theory dbr:ACM_Transactions_on_Computation_Theory dbr:Claude_Shannon dbr:Robotics dbc:Formal_sciences dbr:Frequency_scaling dbr:Channel_capacity dbr:SIAM_Journal_on_Computing dbr:Quantum_computing dbr:Lossy_data_compression dbr:Annual_Conference_on_Learning_Theory dbr:Symbolic_computation dbr:Function_(computer_science) dbr:Computer_hardware dbr:Stephen_Cook dbr:Read-only_memory dbr:Quantum_entanglement dbr:Applied_mathematics dbr:Formal_science dbr:Data dbr:Donald_Hebb dbr:Computer_networking dbr:Anomaly_detection dbr:Parallel_distributed_processing dbr:Number_theory dbr:Computational_problems dbr:Scientific_computing dbr:Database dbr:Geographic_information_system dbr:Peter_Shor dbr:SIGACT dbr:SIGACT_News dbr:Theoretical_Computer_Science_(journal) dbr:Data_(computing) dbr:Null_string dbr:Scientific_visualization dbr:Race_condition dbr:RSA_(cryptosystem) dbr:Theory_of_Computing_(journal) dbr:Transistor dbr:Computer_engineering dbr:Secondary_memory dbr:Error-correction dbr:Non-deterministic_Turing_machine dbr:ZIP_(file_format) dbr:Computer_network dbr:Discrete_Mathematics_and_Theoretical_Computer_Science dbr:Model_selection dbr:Programming_language_theory dbr:Public_key_cryptography dbr:Algorithmic_complexity_theory dbr:Mathematical_optimization dbr:Algorithmic_game_theory dbr:Channel_coding dbr:Automated_reasoning dbr:Function_(mathematics) dbr:Quantum_computation dbr:Chicago_Journal_of_Theoretical_Computer_Science dbr:Symposium_on_Discrete_Algorithms dbr:Expression_(mathematics) dbr:Function_(engineering) dbr:Journal_of_Complexity_(journal) dbr:Evolution dbr:Quantum_mechanics dbr:Electronic_commerce dbr:Acta_Informatica dbr:Remote_procedure_call dbr:Simons_Institute_for_the_Theory_of_Computing dbr:Computer-aided_manufacturing dbr:Computer-aided_engineering dbr:Abstract_machine dbr:Computer dbr:Distributed_computation dbr:International_Computer_Science_Symposium_in_Russia dbr:JPEG dbr:Automata_theory dbr:Workshop_on_Approximation_Algorithms_for_Combinatorial_Optimization_Problems dbr:Workshop_on_Randomization_and_Computation dbr:Cryptanalysis dbr:Anatomy dbr:Mathematics dbr:Bit-level_parallelism dbr:International_Workshop_on_Graph-Theoretic_Concepts_in_Computer_Science dbr:Parallelism_(computing) dbr:Floating_point_number dbr:Communication dbr:Multiple_discovery n7:SimplexRangeSearching.svg dbr:Sun–Ni_law dbr:Hebbian_learning dbr:Algorithmic_efficiency dbr:Voyager_program dbr:Logic_in_computer_science dbr:Symposium_on_Logic_in_Computer_Science dbr:Computational_complexity_theory dbr:Ecology dbr:Polynomial_factorization n7:DFAexample.svg dbr:Electrical_engineering dbr:Logic_gate n7:Commutative_diagram_for_morphism.svg dbr:Complexity_class dbr:Computer_algebra_system dbr:One-time_pad dbr:Quantification_(science) dbr:Computational_economics dbr:Pattern_recognition dbr:Parallel_algorithm dbr:Software_bug dbr:Computational_geometry dbr:Animation dbr:Data_structure dbr:Cryptography dbr:Secure_communication dbr:Combinatorial_optimization dbr:Category_theory dbr:Automaton dbr:Multi-core_processor dbr:Learning dbr:Chain_rule dbr:Electronic_circuit dbr:Optical_character_recognition dbr:Task_parallelism n7:Maquina.png dbr:High_performance_computing dbr:Academic_disciplines dbr:Bioinformatics dbr:Genomics dbr:Computer_science dbr:Computer-aided_design dbr:Transistors dbr:Complexity dbr:Numerical_computation dbr:Effective_method dbr:Biological_computation dbr:Indefinite_integration dbr:Molecular_biology dbr:Instruction_level_parallelism dbr:Elaine_Weyuker dbr:Computer_data_storage dbr:Data_integrity dbr:Authentication dbr:Formal_verification dbr:Discrete_mathematics dbr:Microprocessor dbr:String_(computer_science) dbr:Semiconductor dbr:Algebraic_data_types dbr:Differentiation_(mathematics) dbr:European_Association_for_Theoretical_Computer_Science dbr:International_Symposium_on_Fundamentals_of_Computation_Theory dbr:Artificial_intelligence dbr:Association_for_Computing_Machinery dbr:Type_systems dbr:Natural_language_processing dbr:Distributed_computing dbr:Bit dbr:Instruction_(computer_science) dbr:Communication_complexity dbr:Data_transmission dbr:Claude_E._Shannon dbr:Biochemistry dbr:Calculation dbr:International_Symposium_on_Algorithms_and_Computation dbr:Innovations_in_Theoretical_Computer_Science dbr:Deterministic dbr:Lambda_calculus dbr:Signal_processing dbr:Parallel_computing dbr:Biophysics dbr:Quantum_Turing_machine dbr:Massively_multiplayer_online_game dbr:Theory_of_Computing_Systems dbr:Symposium_on_Principles_of_Distributed_Computing dbr:Program_semantics dbr:Data_compression dbr:Neuroscience dbr:Data_parallelism dbr:Journal_of_the_ACM dbr:Journal_of_Automata,_Languages_and_Combinatorics dbr:Computer_architecture dbr:Quantification_theory dbr:Amdahl's_law n7:Elliptic_curve_simple.png dbr:Automated_teller_machine dbr:Coding_theory dbr:Model_of_computation dbr:Main_memory dbr:Telecommunication dbr:Quantum_superposition dbr:Computability_theory dbr:Quantum_computer dbr:Formal_methods dbr:Unsolved_problems_in_computer_science dbr:Source_coding dbr:Computational_Complexity_Conference dbr:Integer_factorization dbr:Black_hole dbr:Compiler dbr:User_interface dbr:Kurt_Gödel dbr:Randomized_algorithms dbr:Formal_Aspects_of_Computing dbr:Integrated_circuit dbr:Information-theoretic_security dbr:Mathematical_object dbr:Mathematical_logic dbr:Biology dbr:Statistical_inference dbr:Probabilistic_computation dbr:Data_analysis dbr:Phenomena dbr:Confidentiality dbr:Information-based_complexity dbr:Genetics dbr:Mathematical_Foundations_of_Computer_Science dbr:Web_indexing dbr:Execution_(computing) dbr:Password dbr:Information dbr:Geometry dbr:Physics dbr:Adversary_(cryptography) dbr:Network_coding
dct:subject
dbc:Theoretical_computer_science dbc:Formal_sciences
foaf:isPrimaryTopicOf
wikipedia-en:Theoretical_computer_science
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Excerpt dbt:Rp dbt:Distinguish dbt:%22 dbt:Isbn dbt:About dbt:Main dbt:Computer_science dbt:Not_a_typo dbt:Short_description dbt:!
gold:hypernym
dbr:Division
Subject Item
wikipedia-en:Theoretical_computer_science
foaf:primaryTopic
dbr:Theoretical_computer_science
Subject Item
dbr:Subgraph_isomorphism_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Inverse_semigroup
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Actor_model_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:European_Master_Program_in_Computational_Logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Martin_Dyer
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Martin_Hyland
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Closest_string
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Levi's_lemma
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theoretical_Computer_Science_(journal)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theory_of_Computing
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Encompassment_ordering
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Summer_School_Marktoberdorf
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Telluride_House
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Felipe_Cucker
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Felipe_Cucker__Felipe_Cucker__1
dbo:academicDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dana_Randall
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Donald_Knuth
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sigma
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Valuation_(measure_theory)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:David_Hilbert
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computer_scientist
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Alexander_Razborov
dbo:knownFor
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:knownFor
dbr:Theoretical_computer_science
Subject Item
dbr:Alonzo_Church
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Avi_Wigderson
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Carsten_Lund
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Johan_Håstad
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Julius_Richard_Büchi
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Juraj_Hromkovič
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Lance_Fortnow
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Leslie_Valiant
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Leslie_Valiant__Leslie_Valiant__1
dbo:academicDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Luca_Trevisan
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michael_Sipser
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Neil_Immerman
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Nick_Pippenger
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Noga_Alon
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Peter_Landin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rajeev_Motwani
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Ronald_V._Book
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sanjeev_Arora
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Umesh_Vazirani
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Walter_Savitch
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Correctness_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:László_Lovász
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Multiplication_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sunflower_(mathematics)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Abel_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Array_(data_structure)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Regular_expression
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Turing_Award
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_complexity_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Monoid
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Semigroup
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Andrey_Markov_Jr.
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dynamic_logic_(modal_logic)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Random-access_stored-program_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Simulation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Boolean_satisfiability_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Stephen_Cole_Kleene
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Omega_language
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sequence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Semi-Thue_system
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Glossary_of_areas_of_mathematics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Register_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:TC_(complexity)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Longest_path_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Solomon_Marcus
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:DFA_minimization
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Journal_of_Foundations_of_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Journal_of_Software_and_Informatics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Introduction_to_the_Theory_of_Computation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Literal_movement_grammar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pointer_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pseudorandom_generator
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pseudorandom_generators_for_polynomials
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Traveling_purchaser_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Unavoidable_pattern
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sun–Ni_law
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Approximation_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Endre_Szemerédi
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Bisimulation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Π-calculus
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Pushdown_automaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Regular_language
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:School_of_Informatics,_University_of_Edinburgh
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theory_of_computation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mike_Paterson
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Automatic_sequence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Discrete_system
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:History_of_compiler_construction
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Evelyn_Nelson_(mathematician)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Andreas_Blass
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Giorgi_Japaridze
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Discrete_Mathematics_&_Theoretical_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Robert_Kleinberg
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Structural_complexity_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Stuttering_equivalence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Temporal_Process_Language
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Simplexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hungarian_Order_of_Saint_Stephen
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Boolean_algebra
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Distributed_computing
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:String_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Bootstrapping_(compilers)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Boolean_domain
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Istituto_Nazionale_di_Alta_Matematica_Francesco_Severi
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Level_ancestor_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Aanderaa–Karp–Rosenberg_conjecture
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:British_Colloquium_for_Theoretical_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Carl_Herbert_Smith
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Chaos_computing
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rosi_Sexton
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Ketan_Mulmuley
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Multiparty_communication_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Zdzisław_Pawlak
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Zvi_Galil
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Valiant–Vazirani_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Banff_International_Research_Station
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sanjeev_Khanna
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Formal_power_series
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:CAP_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Crossing_sequence_(Turing_machines)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Electronic_Proceedings_in_Theoretical_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_University_of_Washington_people
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_University_of_Wisconsin–Madison_people
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Nerode_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_Marathi_people_in_science,_engineering_and_technology
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Deaths_in_September_2017
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Joost-Pieter_Katoen
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Flajolet_Lecture_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Timeline_of_Polish_science_and_technology
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_University_of_Edinburgh_people
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Predecessor
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ω-automaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Travelling_salesman_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Shaw_Prize
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Analysis_of_Boolean_functions
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Eval
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_theorems
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maximum_cut
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Foundations_of_mathematics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Glushkov's_construction_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:ITCS
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:ACM_SIGACT
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Algorithmic_Lovász_local_lemma
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Algorithmic_mechanism_design
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Allan_Borodin
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
n22:USA_Mathcamp
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Simons_Institute_for_the_Theory_of_Computing
dbo:type
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:type
dbr:Theoretical_computer_science
Subject Item
dbr:Chennai_Mathematical_Institute
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Circuit_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Circuit_satisfiability_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Communication_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Comp.*_hierarchy
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Compressed_data_structure
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Bioinformatics,_and_Empirical_&_Theoretical_Algorithmics_Lab
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hisao_Yamada
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Tamar_Ziegler
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Permutation_pattern
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Metric_k-center
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Small-bias_sample_space
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Smoothed_analysis
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Simulation_(computer_science)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Complete_partial_order
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Encyclopedia_of_Cybernetics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Philip_Wadler
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Suurballe's_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sven_Koenig_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Symposium_on_Foundations_of_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Symposium_on_Theory_of_Computing
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Systems_of_Logic_Based_on_Ordinals
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Gad_Landau
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Dynamic_epistemic_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Unambiguous_Turing_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Constant-recursive_sequence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mikołaj_Bojańczyk
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Log-rank_conjecture
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Child_of_deaf_adult
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Lazy_initialization
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Timeline_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Andrzej_Grzegorczyk
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Joan_Feigenbaum
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Baker's_technique
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Behavior_of_coupled_DEVS
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Asymptotic_computational_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computer_mathematics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Constantinos_Daskalakis
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Continuous_knapsack_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Regular_tree_grammar
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rewrite_order
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:K-regular_sequence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Separating_words_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Barna_Saha
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michal_Parnas
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:K-synchronized_sequence
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Quantum_Computing_Since_Democritus
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theoretical_computer_scientist
dbo:wikiPageRedirects
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Avrim_Blum
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Grammar_systems_theory
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:June_1912
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mobile_automaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Monochromatic_triangle
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Path_ordering_(term_rewriting)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Set_constraint
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Stutter_bisimulation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:University_of_Illinois_Department_of_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Krivine_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Stefan_Szeider
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Elena_Prieto-Rodriguez
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Jasmin_Blanchette
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:subDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Krishnendu_Chatterjee
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Gennady_Simeonovich_Osipov
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hilary_Finucane
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hidden_subgroup_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:E._M._V._Krishnamurthy
dbo:knownFor
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Journal_of_Applied_Non-Classical_Logics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Lawrence_L._Larmore
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Quadratic_unconstrained_binary_optimization
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Spin_model
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michael_Mitzenmacher
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michael_W._Shields
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:mainInterests
dbr:Theoretical_computer_science
Subject Item
dbr:Antonio_Monteiro_(mathematician)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Graphs_and_Combinatorics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Certifying_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_Complexity_Conference
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_academic_fields
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maximum_common_subgraph
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Vijaya_Ramachandran
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:NFA_minimization
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:McDiarmid's_inequality
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Manifold_hypothesis
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Santosh_Vempala
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Semi-membership
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Semiautomaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Semigroup_action
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Index_of_branches_of_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:University_of_Colorado_Boulder_Computer_Science_Department
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Institute_for_Advanced_Study,_Tsinghua_University
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Logical_Methods_in_Computer_Science
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Nondeterministic_constraint_logic
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Patricia_Bouyer-Decitre
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:State_complexity
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Yael_Tauman_Kalai
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:GNRS_conjecture
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Karl_Bringmann
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Kasper_Green_Larsen
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Reconfiguration
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rotation_distance
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Maria-Florina_Balcan
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Alan_Selman
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Arun_Sharma_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:David_Wood_(mathematician)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Małgorzata_Peszyńska
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Michael_D._Atkinson
dbo:academicDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Richard_W._Conway
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Counter_machine
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Combinatorics,_Probability_and_Computing
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Theory_of_Computing_Systems
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Symposium_on_Discrete_Algorithms
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Alan_Cobham_(mathematician)
dbo:occupation
dbr:Theoretical_computer_science
dbp:occupation
dbr:Theoretical_computer_science
Subject Item
dbr:Dana_Moshkovitz
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Greta_Panova
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Sofya_Raskhodnikova
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Cornell_Ann_S._Bowers_College_of_Computing_and_Information_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Witsenhausen's_counterexample
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Workshop_on_Logic,_Language,_Information_and_Computation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Esko_Ukkonen
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Joseph_S._B._Mitchell
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Kousha_Etessami
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Gregory_Gutin
dbo:academicDiscipline
dbr:Theoretical_computer_science
Subject Item
dbr:Brent_Waters
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Equivalence_problem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Technical_University_of_Berlin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Harry_R._Lewis
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Hans-Jörg_Kreowski
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:fields
dbr:Theoretical_computer_science
Subject Item
dbr:Ariel_D._Procaccia
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Aleksandar_Nikolov_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Rainbow_Honor_Walk
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Turing_scheme
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Jaco_de_Bakker
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Turochamp
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Greibach's_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:LambdaNative
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:RAMiCS
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Jean-Éric_Pin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Kristina_Vušković
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Institute_of_Mathematics,_Physics,_and_Mechanics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Paritosh_Pandya
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Saidur_Rahman_(professor)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Verónica_Becher
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_object
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Word_RAM
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Anca_Muscholl
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Game_semantics
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Mary_Wootters
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Colour_refinement_algorithm
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Weighted_automaton
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:Naveen_Garg
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_social_choice
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:David_Zuckerman_(computer_scientist)
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Ranked_alphabet
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Malgorzata_Dubiel
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Thomas_Studer
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Frontiers_of_Computer_Science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Tree_transducer
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Ding-Zhu_Du
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theoretical_Computer_Science
dbo:wikiPageRedirects
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Conference_on_Theory_and_Applications_of_Models_of_Computation
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Dominique_Perrin
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Giovanni_Pighizzini
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Jean_Berstel
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Kai_Salomaa
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Richard_E._Ladner
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Thomas_Colcombet
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:field
dbr:Theoretical_computer_science
Subject Item
dbr:Viliam_Geffert
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Piotr_Skowron
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computational_complexity_of_matrix_multiplication
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Turing_switch
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Heavy_path_decomposition
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:International_Conference_on_Applications_and_Theory_of_Petri_Nets_and_Concurrency
dbo:academicDiscipline
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
dbp:discipline
dbr:Theoretical_computer_science
Subject Item
dbr:PACELC_theorem
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Klaus_Peter_Jantke
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:AWPP_(complexity)
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Athanasios_Tsakalidis
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_important_publications_in_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:List_of_important_publications_in_theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Theoretical_Computer_Scientist
dbo:wikiPageRedirects
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science
Subject Item
dbr:Computer_science_theory
dbo:wikiPageRedirects
dbr:Theoretical_computer_science
dbo:wikiPageWikiLink
dbr:Theoretical_computer_science