Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Theoretical computer science
An Entity of Type:
academic subject
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Subfield of computer science and mathematics
Property
Value
dbo:
description
галузь інформатики і математики
(uk)
Teilgebiet der Informatik und Mathematik
(de)
bagian dari ilmu komputer dan matematika
(in)
campo dell'informatica e della matematica
(it)
subfield of computer science and mathematics
(en)
división o subconjunto de las ciencias de la computación y las matemáticas
(es)
divisió o subconjunt de les ciències de computació i matemàtiques
(ca)
sous-discipline de l'informatique et des mathématiques
(fr)
תת תחום של מדעי המחשב ומתמטיקה
(iw)
τομέας της επιστήμης υπολογιστών και των μαθηματικών
(el)
احد فروع علم الحاسوب
(ar)
計算機を理論的に研究する学問
(ja)
dbo:
thumbnail
wiki-commons
:Special:FilePath/DFAexample.svg?width=300
dbo:
wikiPageExternalLink
http://www.confsearch.org
https://www.degruyter.com/view/j/comp
http://theorymatters.org/
http://www.confsearch.org/confsearch/faces/pages/topic.jsp%3Ftopic=Theory&sortMode=1&graphicView=1
http://www.csanimated.com/browse.php
https://cstheory.stackexchange.com/
http://theory.csail.mit.edu/
https://web.archive.org/web/20170715101741/http:/www.sigact.org/webpages.php
dbo:
wikiPageWikiLink
dbr
:Multiple_discovery
dbr
:Bit
dbr
:Authentication
dbr
:Data_analysis
dbr
:Scientific_visualization
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Symposium_on_Foundations_of_Computer_Science
dbr
:Computational_economics
dbr
:Effective_method
dbr
:Phenomena
dbr
:Academic_disciplines
dbr
:Anatomy
dbr
:Biology
dbr
:Black_hole
dbr
:Computer
dbr
:Evolution
dbr
:Internet
dbr
:JPEG
dbr
:Mathematics
dbr
:Physics
dbr
:Quantum_mechanics
dbr
:Category_theory
dbr
:Quantum_Turing_machine
dbr
:Message_passing
dbc
:Formal_sciences
dbr
:Algorithm
dbr
:Artificial_intelligence
dbr
:Association_for_Computing_Machinery
dbr
:Biochemistry
dbr
:Bioinformatics
dbr
:Biophysics
dbr
:Central_processing_unit
dbr
:Chain_rule
dbr
:Chemistry
dbr
:Compiler
dbr
:Computer_hardware
dbr
:Computer_science
dbr
:Computing
dbr
:Cryptanalysis
dbr
:Cryptography
dbr
:Data_compression
dbr
:Database
dbr
:Ecology
dbr
:Function_(mathematics)
dbr
:Genetics
dbr
:Geometry
dbr
:Linguistics
dbr
:Machine_learning
dbr
:Massachusetts_Institute_of_Technology
dbr
:Mathematical_logic
dbr
:Microprocessor
dbr
:Molecular_biology
dbr
:Number_theory
dbr
:Parallel_computing
dbr
:Peer-to-peer
dbr
:Programming_language
dbr
:Quantum_computing
dbr
:Robotics
dbr
:Software
dbr
:Symposium_on_Principles_of_Distributed_Computing
dbr
:Transistor
dbr
:Combinatorial_optimization
dbr
:Natural_language_processing
dbr
:Acta_Informatica
dbr
:Bitcoin
dbr
:Read-only_memory
dbr
:Synchronization_(computer_science)
dbr
:Abstract_machine
dbr
:Message-oriented_middleware
dbr
:One-time_pad
dbr
:Computation
dbr
:Formal_Aspects_of_Computing
dbr
:Quantum_superposition
dbr
:Animation
dbr
:Communication
dbr
:Computer-aided_design
dbr
:Computer-aided_manufacturing
dbr
:Semiconductor
dbr
:Automaton
dbr
:Computational_biology
dbr
:Computational_complexity_theory
dbr
:Computer_architecture
dbr
:Computer_data_storage
dbr
:Computer_engineering
dbr
:Computer_vision
dbr
:Discrete_mathematics
dbr
:Distributed_computing
dbr
:Elaine_Weyuker
dbr
:Electrical_engineering
dbr
:European_Association_for_Theoretical_Computer_Science
dbr
:Formal_language
dbr
:Formal_verification
dbr
:Graph_theory
dbr
:Information
dbr
:Information_security
dbr
:Mathematical_optimization
dbr
:Signal_processing
dbr
:Statistics
dbr
:Applied_mathematics
dbr
:Automated_reasoning
dbr
:Claude_Shannon
dbr
:Massively_multiplayer_online_game
dbr
:Type_theory
dbr
:Automata_theory
dbr
:Integrated_circuit
dbr
:Variable_(mathematics)
dbr
:Password
dbr
:Mathematical_object
dbr
:Channel_capacity
dbr
:Very-large-scale_integration
dbr
:Electronic_circuit
dbr
:Communication_complexity
dbr
:Model_selection
dbr
:Formal_specification
dbr
:Journal_of_Automata,_Languages_and_Combinatorics
dbr
:Simons_Institute_for_the_Theory_of_Computing
dbr
:Expression_(mathematics)
dbr
:Symposium_on_Parallelism_in_Algorithms_and_Architectures
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Theoretical_Computer_Science_(journal)
dbr
:Computer_algebra_system
dbr
:Formal_methods
dbr
:Geographic_information_system
dbr
:Neuroscience
dbr
:Formal_science
dbr
:Complexity_class
dbr
:Calculation
dbr
:Computer_program
dbr
:Data
dbr
:Kurt_Gödel
dbr
:MP3
dbr
:Pattern_recognition
dbr
:Richard_Feynman
dbr
:User_interface
dbr
:Computer-aided_engineering
dbr
:Genomics
dbr
:Voyager_program
dbr
:Software_bug
dbr
:Statistical_inference
dbr
:String_(computer_science)
dbr
:Service-oriented_architecture
dbr
:Peter_Shor
dbr
:Integer_factorization
dbr
:Data_integrity
dbr
:Secure_communication
dbr
:Algorithmic_information_theory
dbr
:Data_parallelism
dbr
:Symposium_on_Theory_of_Computing
dbr
:Confidentiality
dbr
:Learning_to_rank
dbr
:Parallel_algorithm
dbr
:ACM_Transactions_on_Computation_Theory
dbr
:Web_indexing
dbr
:ACM_SIGACT
dbr
:Adversary_(cryptography)
dbr
:Multi-core_processor
dbr
:ZIP_(file_format)
dbr
:Algorithmic_game_theory
dbr
:Coding_theory
dbr
:Computational_geometry
dbr
:Computational_number_theory
dbr
:Data_structure
dbr
:Information_theory
dbr
:Lambda_calculus
dbr
:Leonid_Levin
dbr
:Logic_gate
dbr
:Logic_in_computer_science
dbr
:Martin_Davis_(mathematician)
dbr
:Model_of_computation
dbr
:Neural_network
dbr
:Quantum_entanglement
dbr
:Symposium_on_Logic_in_Computer_Science
dbr
:Hash_table
dbr
:Task_parallelism
dbr
:Mathematical_visualization
dbr
:Quantum_computer
dbr
:Circuit_complexity
dbr
:Statistical_model
dbr
:Theory_of_Computing_Systems
dbr
:Anomaly_detection
dbr
:Speedup
dbr
:Amdahl's_law
dbr
:B-tree
dbr
:Computer_graphics
dbr
:Computer_network
dbr
:Stephen_Cook
dbr
:Yuri_Manin
dbr
:Learning
dbr
:Optical_character_recognition
dbr
:Data_mining
dbr
:RSA_(cryptosystem)
dbr
:Probabilistic_automaton
dbr
:Algorithmic_efficiency
dbr
:Complexity
dbr
:European_Symposium_on_Algorithms
dbr
:SIAM_Journal_on_Computing
dbr
:Computational_hardness_assumption
dbr
:Race_condition
dbr
:Remote_procedure_call
dbr
:Computability_theory
dbr
:Theory_of_computation
dbr
:Computer_algebra
dbr
:Programming_language_theory
dbr
:Glue_logic
dbr
:Information-based_complexity
dbr
:Biological_computation
dbr
:Bit-level_parallelism
dbr
:Non-repudiation
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:Data_processing
dbr
:Execution_(computing)
dbr
:Fundamenta_Informaticae
dbr
:Information_and_Computation
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:International_Journal_of_Foundations_of_Computer_Science
dbr
:Function_(engineering)
dbr
:Journal_of_the_ACM
dbr
:Polynomial_time
dbr
:International_Symposium_on_Algorithms_and_Computation
dbr
:Information-theoretic_security
dbr
:Location_transparency
dbr
:Quantification_(science)
dbr
:Computational_Complexity_Conference
dbc
:Theoretical_computer_science
dbr
:Symposium_on_Computational_Geometry
dbr
:Symposium_on_Discrete_Algorithms
dbr
:International_Symposium_on_Fundamentals_of_Computation_Theory
dbr
:Sun–Ni_law
dbr
:Frequency_scaling
dbr
:Data_(computing)
dbr
:Differentiation_(mathematics)
dbr
:Function_(computer_science)
dbr
:Algorithms
dbr
:Bioengineering
dbr
:Electronic_commerce
dbr
:Lossless_data_compression
dbr
:NP-complete
dbr
:Neurobiology
dbr
:Public_key_cryptography
dbr
:Quantification_theory
dbr
:Quantum_computation
dbr
:Scientific_computing
dbr
:Telecommunication
dbr
:Claude_E._Shannon
dbr
:Random_Access_Memory
dbr
:Transistors
dbr
:Channel_coding
dbr
:Spam_filter
dbr
:Lossy_data_compression
dbr
:List_of_important_publications_in_theoretical_computer_science
dbr
:High_performance_computing
dbr
:Open_access_(publishing)
dbr
:Polynomial_factorization
dbr
:Randomized_algorithms
dbr
:Data_transmission
dbr
:Symbolic_computation
dbr
:Numerical_computation
dbr
:DSL
dbr
:Deterministic
dbr
:Algorithmic_complexity_theory
dbr
:Automated_teller_machine
dbr
:Computer_networking
dbr
:Parallel_computation
dbr
:Rigor
dbr
:Communications_protocol
dbr
:Network_coding
dbr
:Probabilistic_computation
dbr
:Program_semantics
dbr
:Programming_language_syntax
dbr
:Qubits
dbr
:Source_coding
dbr
:Main_memory
dbr
:Non-deterministic_Turing_machine
dbr
:Algebraic_data_types
dbr
:Floating_point_number
dbr
:Discrete_Mathematics_and_Theoretical_Computer_Science
dbr
:Distributed_computation
dbr
:Donald_Hebb
dbr
:Computational_problems
dbr
:Computer_platform
dbr
:Error-correction
dbr
:Hebbian_learning
dbr
:Incompleteness_theorem
dbr
:Indefinite_integration
dbr
:Information_theoretic_security
dbr
:Instruction_(computer_science)
dbr
:Instruction_level_parallelism
dbr
:Models_of_computation
dbr
:Parallel_distributed_processing
dbr
:Parallelism_(computing)
dbr
:Type_systems
dbr
:Null_string
dbr
:Unsolved_problems_in_computer_science
dbr
:Mathematical_Foundations_of_Computer_Science
dbr
:Theory_of_Computing_(journal)
dbr
:Space–time
dbr
:SIGACT
dbr
:SIGACT_News
dbr
:Secondary_memory
dbr
:File:DFAexample.svg
dbp:
wikiPageUsesTemplate
dbt
:!
dbt
:About
dbt
:Authority_control
dbt
:Computer_science
dbt
:Distinguish
dbt
:Excerpt
dbt
:Isbn
dbt
:Main
dbt
:Not_a_typo
dbt
:Rp
dbt
:Short_description
dbt
:"
dct:
subject
dbc
:Formal_sciences
dbc
:Theoretical_computer_science
gold:
hypernym
dbr
:Division
rdf:
type
owl
:Thing
owl
:Thing
dbo
:AcademicSubject
rdfs:
label
Theoretical computer science
(en)
Informàtica teòrica
(ca)
Teoretická informatika
(cs)
علم الحاسوب النظري
(ar)
Θεωρητική Πληροφορική
(el)
Theoretische Informatik
(de)
Ciencia computacional teórica
(es)
Informatique théorique
(fr)
Informatica teorica
(it)
理論計算機科学
(ja)
이론 컴퓨터 과학
(ko)
Theoretische informatica
(nl)
Informatyka (teoretyczna)
(pl)
Ciência da computação teórica
(pt)
Теоретична інформатика
(uk)
Teoretisk datavetenskap
(sv)
Теоретическая информатика
(ru)
理論計算機科學
(zh)
owl:
differentFrom
dbr
:Theory_of_computation
owl:
sameAs
http://d-nb.info/gnd/4196735-5
freebase
:Theoretical computer science
wikidata
:Theoretical computer science
dbpedia-de
:Theoretical computer science
dbpedia-es
:Theoretical computer science
dbpedia-it
:Theoretical computer science
dbpedia-nl
:Theoretical computer science
dbpedia-pl
:Theoretical computer science
dbpedia-tr
:Theoretical computer science
dbpedia-fr
:Theoretical computer science
dbpedia-ja
:Theoretical computer science
dbpedia-pt
:Theoretical computer science
dbpedia-ru
:Theoretical computer science
dbpedia-zh
:Theoretical computer science
dbpedia-sv
:Theoretical computer science
dbpedia-vi
:Theoretical computer science
dbpedia-el
:Theoretical computer science
dbpedia-ko
:Theoretical computer science
dbpedia-ca
:Theoretical computer science
dbpedia-et
:Theoretical computer science
dbpedia-ar
:Theoretical computer science
dbpedia-ast
:Theoretical computer science
dbpedia-bg
:Theoretical computer science
dbpedia-bn
:Theoretical computer science
dbpedia-cs
:Theoretical computer science
dbpedia-fa
:Theoretical computer science
dbpedia-fi
:Theoretical computer science
dbpedia-gl
:Theoretical computer science
dbpedia-hr
:Theoretical computer science
dbpedia-lb
:Theoretical computer science
dbpedia-lmo
:Theoretical computer science
dbpedia-my
:Theoretical computer science
dbpedia-simple
:Theoretical computer science
dbpedia-sk
:Theoretical computer science
dbpedia-sr
:Theoretical computer science
dbpedia-tl
:Theoretical computer science
dbpedia-uk
:Theoretical computer science
dbpedia-global
:Theoretical computer science
prov:
wasDerivedFrom
wikipedia-en
:Theoretical_computer_science?oldid=1309617206&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Commutative_diagram_for_morphism.svg
wiki-commons
:Special:FilePath/6n-graf.svg
wiki-commons
:Special:FilePath/Elliptic_curve_simple.svg
wiki-commons
:Special:FilePath/Blochsphere.svg
wiki-commons
:Special:FilePath/DFAexample.svg
wiki-commons
:Special:FilePath/SimplexRangeSearching.svg
wiki-commons
:Special:FilePath/TSP_Deutschland_3.png
wiki-commons
:Special:FilePath/Wang_tiles.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Theoretical_computer_science
is
dbo:
academicDiscipline
of
dbr
:Michael_D._Atkinson
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Ewin_Tang
dbr
:Elena_Prieto-Rodriguez
dbr
:Felipe_Cucker__Felipe_Cucker__1
dbr
:Avi_Wigderson
dbr
:Edsger_W._Dijkstra
dbr
:Dana_Randall
dbr
:Jennifer_Tour_Chayes
dbr
:Richard_E._Ladner
dbr
:Sheila_Greibach
dbr
:Yael_Tauman_Kalai
dbr
:Martin_Hyland
dbr
:Rosi_Sexton
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Theory_of_Computing
dbr
:Combinatorics,_Probability_and_Computing
dbr
:Kasper_Green_Larsen
dbr
:Lawrence_L._Larmore
dbr
:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency
dbr
:Brent_Waters
dbr
:Giovanni_Pighizzini
dbr
:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbr
:Alan_Selman
dbr
:Allan_Borodin
dbr
:Andris_Ambainis
dbr
:Carsten_Lund
dbr
:Constantinos_Daskalakis
dbr
:David_Zuckerman_(computer_scientist)
dbr
:Dexter_Kozen
dbr
:Faron_Moller
dbr
:Gregory_Gutin
dbr
:Joseph_S._B._Mitchell
dbr
:Karl_Bringmann
dbr
:Leslie_Valiant__Leslie_Valiant__1
dbr
:Nitin_Saxena
dbr
:Noga_Alon
dbr
:Rajeev_Motwani
dbr
:Sanjeev_Khanna
dbr
:Stefan_Szeider
dbr
:Samson_Abramsky
dbr
:RAMiCS
dbr
:Theory_of_Computing_Systems
dbr
:Juhani_Karhumäki
dbr
:Maria-Florina_Balcan
dbr
:Yuri_Matiyasevich
dbr
:Endre_Szemerédi
dbr
:Carel_S._Scholten
dbr
:Thomas_Colcombet
dbr
:Peter_O'Hearn
dbr
:Hans-Jörg_Kreowski
dbr
:Logical_Methods_in_Computer_Science
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Gad_Landau
is
dbo:
knownFor
of
dbr
:Alexander_Razborov
dbr
:Maurice_Nivat
dbr
:E._M._V._Krishnamurthy
dbr
:John_V._Tucker
is
dbo:
occupation
of
dbr
:Alan_Cobham_(mathematician)
is
dbo:
type
of
dbr
:Simons_Institute_for_the_Theory_of_Computing
is
dbo:
wikiPageDisambiguates
of
dbr
:TCS
is
dbo:
wikiPageRedirects
of
dbr
:Theoretical_Computer_Science
dbr
:Theoretical_Computer_Science
dbr
:Theoretical_computer_scientist
dbr
:Theoretical_computer_scientist
dbr
:Computer_science_theory
dbr
:Theoretical_Computer_Scientist
is
dbo:
wikiPageWikiLink
of
dbr
:Athanasios_Tsakalidis
dbr
:Analysis_of_Boolean_functions
dbr
:ITCS
dbr
:Encyclopedia_of_Cybernetics
dbr
:Electronic_Proceedings_in_Theoretical_Computer_Science
dbr
:Combinatorics
dbr
:Foundations_of_mathematics
dbr
:Pointer_machine
dbr
:Star_height
dbr
:Subalgebra
dbr
:Trapdoor_function
dbr
:Combinatorial_game_theory
dbr
:Michel_Talagrand
dbr
:Circuit_satisfiability_problem
dbr
:Crossing_sequence_(Turing_machines)
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Symposium_on_Foundations_of_Computer_Science
dbr
:List_of_University_of_Washington_people
dbr
:List_of_University_of_Wisconsin–Madison_people
dbr
:Semifield
dbr
:Turing_scheme
dbr
:Timeline_of_Polish_science_and_technology
dbr
:List_of_computer_scientists
dbr
:Longest_path_problem
dbr
:Actor_model_theory
dbr
:Michael_Mitzenmacher
dbr
:Michael_W._Shields
dbr
:LambdaNative
dbr
:Eval
dbr
:List_of_theorems
dbr
:Self-hosting_(compilers)
dbr
:Categorical_logic
dbr
:Saidur_Rahman_(professor)
dbr
:Science
dbr
:Formal_semantics_(natural_language)
dbr
:Dynamic_logic_(digital_electronics)
dbr
:Spin_model
dbr
:Istituto_Nazionale_di_Alta_Matematica_Francesco_Severi
dbr
:Andreas_Blass
dbr
:Interpretation_(logic)
dbr
:Vijaya_Ramachandran
dbr
:Bootstrapping_(compilers)
dbr
:Rewrite_order
dbr
:Geocode
dbr
:Quantifier_elimination
dbr
:Baker's_technique
dbr
:K-minimum_spanning_tree
dbr
:K-server_problem
dbr
:Nicole_Megow
dbr
:Alan_Turing
dbr
:Alonzo_Church
dbr
:Avi_Wigderson
dbr
:Centrum_Wiskunde_&_Informatica
dbr
:Computer_science
dbr
:Dijkstra's_algorithm
dbr
:Donald_Knuth
dbr
:Edsger_W._Dijkstra
dbr
:Machine_learning
dbr
:Noam_Chomsky
dbr
:Quantum_computing
dbr
:Turing_Award
dbr
:Combinatorial_optimization
dbr
:Mathematical_economics
dbr
:Acta_Informatica
dbr
:Multiplication_algorithm
dbr
:Sequence
dbr
:Boris_Trakhtenbrot
dbr
:Jeffrey_Lagarias
dbr
:Monochromatic_triangle
dbr
:Witsenhausen's_counterexample
dbr
:University_of_Illinois_Department_of_Computer_Science
dbr
:The_Turing_Guide
dbr
:Krivine_machine
dbr
:Nondeterministic_constraint_logic
dbr
:Patricia_Bouyer-Decitre
dbr
:Simulation_(computer_science)
dbr
:Computational_complexity_theory
dbr
:Computational_science
dbr
:Computer_scientist
dbr
:Dana_Randall
dbr
:David_Gries
dbr
:Discrete_mathematics
dbr
:Distributed_computing
dbr
:European_Association_for_Theoretical_Computer_Science
dbr
:Flajolet_Lecture_Prize
dbr
:Greibach's_theorem
dbr
:Gödel_Prize
dbr
:Jennifer_Tour_Chayes
dbr
:Johan_Håstad
dbr
:Knuth_Prize
dbr
:Nick_Pippenger
dbr
:Patrick_C._Fischer
dbr
:Richard_E._Ladner
dbr
:Ronald_V._Book
dbr
:School_of_Informatics,_University_of_Edinburgh
dbr
:Shafi_Goldwasser
dbr
:Sheila_Greibach
dbr
:Sigma
dbr
:Yael_Tauman_Kalai
dbr
:Antonio_Monteiro_(mathematician)
dbr
:Applied_mathematics
dbr
:Automated_reasoning
dbr
:Metric_space
dbr
:Philip_Wadler
dbr
:Scientific_journal
dbr
:Automata_theory
dbr
:Dana_Scott
dbr
:Ketan_Mulmuley
dbr
:Modal_μ-calculus
dbr
:Otto_von_Guericke_University_Magdeburg
dbr
:Heinrich_Scholz
dbr
:Numeral_system
dbr
:Harry_R._Lewis
dbr
:Martin_Hyland
dbr
:Ingo_Wegener
dbr
:Bisimulation
dbr
:Boolean_satisfiability_problem
dbr
:Control_flow
dbr
:Rényi_entropy
dbr
:Closest_string
dbr
:Communication_complexity
dbr
:Dynamic_logic_(modal_logic)
dbr
:Rosi_Sexton
dbr
:Regular_tree_grammar
dbr
:Jasmin_Blanchette
dbr
:Journal_of_Applied_Non-Classical_Logics
dbr
:June_1912
dbr
:Simons_Institute_for_the_Theory_of_Computing
dbr
:Suurballe's_algorithm
dbr
:Sven_Koenig_(computer_scientist)
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Theoretical_Computer_Science_(journal)
dbr
:Theory_of_Computing
dbr
:Banff_International_Research_Station
dbr
:Esko_Ukkonen
dbr
:Combinatorics,_Probability_and_Computing
dbr
:Frontiers_of_Computer_Science
dbr
:Kasper_Green_Larsen
dbr
:Introduction_to_the_Theory_of_Computation
dbr
:Formal_methods
dbr
:Greedy_algorithm
dbr
:Shaw_Prize
dbr
:Millennium_Prize_Problems
dbr
:Formal_science
dbr
:Concurrency_(computer_science)
dbr
:DFA_minimization
dbr
:Lawrence_L._Larmore
dbr
:Pseudorandom_generators_for_polynomials
dbr
:Brzozowski_derivative
dbr
:Levi's_lemma
dbr
:Encompassment_ordering
dbr
:Set_constraint
dbr
:Ariel_D._Procaccia
dbr
:Mikołaj_Bojańczyk
dbr
:Telluride_House
dbr
:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency
dbr
:PACELC_theorem
dbr
:K-regular_sequence
dbr
:Separating_words_problem
dbr
:Equivalence_problem
dbr
:Log-rank_conjecture
dbr
:Abel_Prize
dbr
:Currying
dbr
:David_Hilbert
dbr
:Simulation
dbr
:Health_informatics
dbr
:Andrey_Markov_Jr.
dbr
:Array_(data_structure)
dbr
:Regular_expression
dbr
:String_(computer_science)
dbr
:Fixed_point_(mathematics)
dbr
:Closure_operator
dbr
:P_versus_NP_problem
dbr
:Stone_duality
dbr
:Formal_grammar
dbr
:Semi-Thue_system
dbr
:Gregory_Chaitin
dbr
:Greta_Panova
dbr
:Mariangiola_Dezani-Ciancaglini
dbr
:Maximum_cut
dbr
:Abstract_rewriting_system
dbr
:Tutte_polynomial
dbr
:Algorithmic_information_theory
dbr
:Inverse_semigroup
dbr
:Symposium_on_Theory_of_Computing
dbr
:Robert_Kleinberg
dbr
:University_of_Colorado_Boulder_Computer_Science_Department
dbr
:Brent_Waters
dbr
:Turochamp
dbr
:Giovanni_Pighizzini
dbr
:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbr
:State_complexity
dbr
:Viliam_Geffert
dbr
:Felipe_Cucker
dbr
:Rotation_distance
dbr
:Computational_complexity_of_matrix_multiplication
dbr
:ACM_SIGACT
dbr
:Alan_Selman
dbr
:Algorithmic_mechanism_design
dbr
:David_Wood_(mathematician)
dbr
:Małgorzata_Peszyńska
dbr
:Piotr_Skowron
dbr
:Richard_W._Conway
dbr
:Markov_algorithm
dbr
:Register_machine
dbr
:Lazy_initialization
dbr
:Hierarchy_(mathematics)
dbr
:Dialectic
dbr
:Ursula_Martin
dbr
:Reductionism
dbr
:Tamar_Ziegler
dbr
:Yuval_Peres
dbr
:Aanderaa–Karp–Rosenberg_conjecture
dbr
:Alexander_Razborov
dbr
:Allan_Borodin
dbr
:Andris_Ambainis
dbr
:Approximation_algorithm
dbr
:Bernhard_Thalheim
dbr
:Boolean_algebra
dbr
:Carsten_Lund
dbr
:Constantinos_Daskalakis
dbr
:David_Zuckerman_(computer_scientist)
dbr
:Ding-Zhu_Du
dbr
:Faron_Moller
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbr
:Glushkov's_construction_algorithm
dbr
:Helmut_Veith
dbr
:Isolation_lemma
dbr
:Jin-Yi_Cai
dbr
:Joseph_S._B._Mitchell
dbr
:Julius_Richard_Büchi
dbr
:Juraj_Hromkovič
dbr
:Kai_Salomaa
dbr
:Karl_Bringmann
dbr
:Lance_Fortnow
dbr
:Leslie_Valiant
dbr
:Luca_Trevisan
dbr
:Matrix_multiplication_algorithm
dbr
:Maurice_Nivat
dbr
:Michael_Sipser
dbr
:Mike_Paterson
dbr
:Naveen_Garg
dbr
:Neeraj_Kayal
dbr
:Neil_Immerman
dbr
:Nerode_Prize
dbr
:Nitin_Saxena
dbr
:Noga_Alon
dbr
:Paris_Kanellakis
dbr
:Peter_Landin
dbr
:Pierluigi_Crescenzi
dbr
:Rajeev_Motwani
dbr
:Ran_Raz
dbr
:Reed–Muller_code
dbr
:Sanjeev_Arora
dbr
:Sanjeev_Khanna
dbr
:Scott_Aaronson
dbr
:Smoothed_analysis
dbr
:Sofya_Raskhodnikova
dbr
:Stefan_Szeider
dbr
:Stephen_Cole_Kleene
dbr
:Umesh_Vazirani
dbr
:Valiant–Vazirani_theorem
dbr
:Π-calculus
dbr
:Haim_Gaifman
dbr
:Mathematical_Reviews
dbr
:Monoid
dbr
:Semigroup
dbr
:Deterministic_finite_automaton
dbr
:László_Lovász
dbr
:Busy_beaver
dbr
:Sunflower_(mathematics)
dbr
:Turing_completeness
dbr
:Ernst-Rüdiger_Olderog
dbr
:Ernst_Mayr_(computer_scientist)
dbr
:Dana_Moshkovitz
dbr
:Solomon_Marcus
dbr
:Bertrand_du_Castel
dbr
:G._Mike_Reed
dbr
:Chennai_Mathematical_Institute
dbr
:E._M._V._Krishnamurthy
dbr
:Samson_Abramsky
dbr
:RAMiCS
dbr
:List_of_Marathi_people_in_science,_engineering_and_technology
dbr
:Pointed_set
dbr
:Evelyn_Nelson_(mathematician)
dbr
:Alan_M._Frieze
dbr
:Canada/USA_Mathcamp
dbr
:Pushdown_automaton
dbr
:Regular_language
dbr
:Transition_system
dbr
:Circuit_complexity
dbr
:Matrix_multiplication
dbr
:Nondeterministic_Turing_machine
dbr
:Hadamard_code
dbr
:Subgraph_isomorphism_problem
dbr
:Institute_of_Mathematics,_Physics,_and_Mechanics
dbr
:Pseudorandomness
dbr
:Automatic_sequence
dbr
:Institute_of_Mathematical_Sciences,_Chennai
dbr
:Level_ancestor_problem
is
dbp:
discipline
of
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Theory_of_Computing
dbr
:Combinatorics,_Probability_and_Computing
dbr
:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency
dbr
:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbr
:RAMiCS
dbr
:Theory_of_Computing_Systems
dbr
:Logical_Methods_in_Computer_Science
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
is
dbp:
field
of
dbr
:Edsger_W._Dijkstra
dbr
:Jennifer_Tour_Chayes
dbr
:Richard_E._Ladner
dbr
:Sheila_Greibach
dbr
:Giovanni_Pighizzini
dbr
:Alan_Selman
dbr
:Allan_Borodin
dbr
:David_Zuckerman_(computer_scientist)
dbr
:Faron_Moller
dbr
:Juhani_Karhumäki
dbr
:Endre_Szemerédi
dbr
:Thomas_Colcombet
is
dbp:
fields
of
dbr
:Ewin_Tang
dbr
:Elena_Prieto-Rodriguez
dbr
:Avi_Wigderson
dbr
:Dana_Randall
dbr
:Yael_Tauman_Kalai
dbr
:Martin_Hyland
dbr
:Rosi_Sexton
dbr
:Kasper_Green_Larsen
dbr
:Lawrence_L._Larmore
dbr
:Brent_Waters
dbr
:Felipe_Cucker
dbr
:Andris_Ambainis
dbr
:Carsten_Lund
dbr
:Dexter_Kozen
dbr
:Joseph_S._B._Mitchell
dbr
:Karl_Bringmann
dbr
:Leslie_Valiant
dbr
:Nitin_Saxena
dbr
:Noga_Alon
dbr
:Rajeev_Motwani
dbr
:Sanjeev_Khanna
dbr
:Maria-Florina_Balcan
dbr
:Peter_O'Hearn
dbr
:Hans-Jörg_Kreowski
dbr
:Gad_Landau
is
dbp:
knownFor
of
dbr
:Alexander_Razborov
dbr
:Maurice_Nivat
dbr
:John_V._Tucker
is
dbp:
mainInterests
of
dbr
:Michael_W._Shields
is
dbp:
occupation
of
dbr
:Alan_Cobham_(mathematician)
is
dbp:
subDiscipline
of
dbr
:Jasmin_Blanchette
dbr
:Michael_Barr_(mathematician)
is
dbp:
type
of
dbr
:Simons_Institute_for_the_Theory_of_Computing
is
foaf:
primaryTopic
of
wikipedia-en
:Theoretical_computer_science
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International