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:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
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
https://www.degruyter.com/view/j/comp
http://www.confsearch.org
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://web.archive.org/web/20170715101741/http:/www.sigact.org/webpages.php
https://cstheory.stackexchange.com/
http://theory.csail.mit.edu/
dbo:
wikiPageWikiLink
dbr
:Abstract_machine
dbr
:Automated_reasoning
dbr
:Statistical_model
dbr
:International_Symposium_on_Fundamentals_of_Computation_Theory
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:Web_indexing
dbr
:Chicago_Journal_of_Theoretical_Computer_Science
dbr
:Neural_network
dbr
:Remote_procedure_call
dbr
:Stephen_Cook
dbr
:Mathematical_optimization
dbr
:Amdahl's_law
dbr
:Data_integrity
dbr
:Automata_theory
dbr
:Category_theory
dbr
:Task_parallelism
dbr
:Complexity
dbr
:Quantum_Turing_machine
dbr
:Applied_mathematics
dbr
:Central_processing_unit
dbr
:Chemistry
dbr
:Computer_hardware
dbr
:Data_compression
dbr
:JPEG
dbr
:Machine_learning
dbr
:Microprocessor
dbr
:Transistor
dbr
:Voyager_program
dbr
:Lambda_calculus
dbr
:Mathematical_object
dbr
:Compiler
dbr
:Massachusetts_Institute_of_Technology
dbr
:Variable_(mathematics)
dbr
:Formal_specification
dbr
:Computer-aided_engineering
dbr
:Formal_methods
dbr
:Model_selection
dbr
:Learning_to_rank
dbr
:Animation
dbr
:Artificial_intelligence
dbr
:Expression_(mathematics)
dbr
:Function_(mathematics)
dbr
:Information
dbr
:Number_theory
dbr
:Robotics
dbr
:Semiconductor
dbr
:Natural_language_processing
dbr
:Acta_Informatica
dbr
:Association_for_Computing_Machinery
dbr
:Discrete_mathematics
dbr
:Parallel_computing
dbr
:Optical_character_recognition
dbr
:European_Association_for_Theoretical_Computer_Science
dbr
:Neuroscience
dbr
:Computer_vision
dbr
:Pattern_recognition
dbr
:Massively_multiplayer_online_game
dbr
:Quantum_entanglement
dbr
:Channel_capacity
dbr
:Type_theory
dbr
:Computational_geometry
dbr
:Very-large-scale_integration
dbr
:Parallel_algorithm
dbr
:Bit-level_parallelism
dbr
:Computational_number_theory
dbr
:Formal_Aspects_of_Computing
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Fundamenta_Informaticae
dbr
:Computer_graphics
dbr
:Synchronization_(computer_science)
dbr
:Mathematical_visualization
dbr
:Anatomy
dbr
:Automaton
dbr
:Biology
dbr
:Black_hole
dbc
:Formal_sciences
dbr
:Communication
dbr
:Computer
dbr
:Cryptography
dbr
:Evolution
dbr
:Internet
dbr
:Mathematics
dbr
:Physics
dbr
:Quantum_mechanics
dbr
:Statistics
dbr
:Effective_method
dbr
:Formal_language
dbr
:Authentication
dbr
:Combinatorial_optimization
dbr
:Non-repudiation
dbr
:Algorithmic_information_theory
dbr
:Information-based_complexity
dbr
:Information_and_Computation
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Multi-core_processor
dbr
:Algorithmic_game_theory
dbr
:Calculation
dbr
:Computation
dbr
:Race_condition
dbr
:Computability_theory
dbr
:Formal_science
dbr
:Circuit_complexity
dbr
:Electronic_circuit
dbr
:Algorithmic_efficiency
dbr
:Computer_network
dbr
:International_Symposium_on_Algorithms_and_Computation
dbr
:Algorithm
dbr
:Biochemistry
dbr
:Biophysics
dbr
:Bit
dbc
:Theoretical_computer_science
dbr
:Computing
dbr
:Database
dbr
:Ecology
dbr
:Genetics
dbr
:Geometry
dbr
:Graph_theory
dbr
:Linguistics
dbr
:Molecular_biology
dbr
:Programming_language
dbr
:Software
dbr
:Computational_biology
dbr
:Computer_algebra
dbr
:Data_structure
dbr
:Probabilistic_automaton
dbr
:Quantum_computing
dbr
:Martin_Davis_(mathematician)
dbr
:Adversary_(cryptography)
dbr
:Function_(engineering)
dbr
:Data_parallelism
dbr
:European_Symposium_on_Algorithms
dbr
:Theoretical_Computer_Science_(journal)
dbr
:ACM_Transactions_on_Computation_Theory
dbr
:Computer_science
dbr
:Elaine_Weyuker
dbr
:Information_theory
dbr
:Computer_program
dbr
:Kurt_Gödel
dbr
:Richard_Feynman
dbr
:Integrated_circuit
dbr
:Claude_Shannon
dbr
:Leonid_Levin
dbr
:Computer_engineering
dbr
:Bitcoin
dbr
:Bioinformatics
dbr
:Biological_computation
dbr
:Chain_rule
dbr
:Information_security
dbr
:Computational_complexity_theory
dbr
:Hash_table
dbr
:Signal_processing
dbr
:Computational_economics
dbr
:Data_(computing)
dbr
:Error-correction
dbr
:Data
dbr
:Electrical_engineering
dbr
:MP3
dbr
:User_interface
dbr
:ZIP_(file_format)
dbr
:Cryptanalysis
dbr
:One-time_pad
dbr
:Geographic_information_system
dbr
:Password
dbr
:Peer-to-peer
dbr
:Read-only_memory
dbr
:Mathematical_logic
dbr
:Computer-aided_manufacturing
dbr
:Complexity_class
dbr
:Message_passing
dbr
:International_Journal_of_Foundations_of_Computer_Science
dbr
:Sun–Ni_law
dbr
:Computer_data_storage
dbr
:Yuri_Manin
dbr
:Coding_theory
dbr
:Genomics
dbr
:Service-oriented_architecture
dbr
:Message-oriented_middleware
dbr
:Theory_of_computation
dbr
:Data_analysis
dbr
:Journal_of_the_ACM
dbr
:Information-theoretic_security
dbr
:Frequency_scaling
dbr
:Location_transparency
dbr
:Computer_architecture
dbr
:Data_mining
dbr
:Formal_verification
dbr
:Logic_gate
dbr
:Computer-aided_design
dbr
:Distributed_computing
dbr
:RSA_(cryptosystem)
dbr
:String_(computer_science)
dbr
:Scientific_visualization
dbr
:Symposium_on_Logic_in_Computer_Science
dbr
:Glue_logic
dbr
:Learning
dbr
:Secure_communication
dbr
:Polynomial_factorization
dbr
:B-tree
dbr
:Execution_(computing)
dbr
:Peter_Shor
dbr
:Software_bug
dbr
:Statistical_inference
dbr
:Speedup
dbr
:Computer_algebra_system
dbr
:Quantum_superposition
dbr
:Multiple_discovery
dbr
:ACM_SIGACT
dbr
:Simons_Institute_for_the_Theory_of_Computing
dbr
:Communication_complexity
dbr
:Symposium_on_Principles_of_Distributed_Computing
dbr
:Anomaly_detection
dbr
:Programming_language_theory
dbr
:Data_processing
dbr
:Symposium_on_Computational_Geometry
dbr
:Symposium_on_Foundations_of_Computer_Science
dbr
:Symposium_on_Parallelism_in_Algorithms_and_Architectures
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Symposium_on_Theory_of_Computing
dbr
:Quantification_(science)
dbr
:Rigor
dbr
:Numerical_computation
dbr
:Communications_protocol
dbr
:Source_coding
dbr
:Function_(computer_science)
dbr
:Confidentiality
dbr
:Logic_in_computer_science
dbr
:Model_of_computation
dbr
:Integer_factorization
dbr
:Computational_hardness_assumption
dbr
:Random_Access_Memory
dbr
:Data_transmission
dbr
:Deterministic
dbr
:High_performance_computing
dbr
:Academic_disciplines
dbr
:Journal_of_Automata,_Languages_and_Combinatorics
dbr
:Computational_Complexity_Conference
dbr
:Differentiation_(mathematics)
dbr
:Phenomena
dbr
:SIAM_Journal_on_Computing
dbr
:Algorithms
dbr
:Bioengineering
dbr
:Public_key_cryptography
dbr
:Quantum_computation
dbr
:Theory_of_Computing_Systems
dbr
:Symposium_on_Discrete_Algorithms
dbr
:Scientific_computing
dbr
:Lossless_data_compression
dbr
:Telecommunication
dbr
:Electronic_commerce
dbr
:NP-complete
dbr
:Neurobiology
dbr
:Quantification_theory
dbr
:Automated_teller_machine
dbr
:DSL
dbr
:Polynomial_time
dbr
:Computer_networking
dbr
:Transistors
dbr
:Parallel_computation
dbr
:Channel_coding
dbr
:Open_access_(publishing)
dbr
:Quantum_computer
dbr
:Claude_E._Shannon
dbr
:Non-deterministic_Turing_machine
dbr
:Symbolic_computation
dbr
:List_of_important_publications_in_theoretical_computer_science
dbr
:Randomized_algorithms
dbr
:Spam_filter
dbr
:Algorithmic_complexity_theory
dbr
:Lossy_data_compression
dbr
:Mathematical_Foundations_of_Computer_Science
dbr
:Null_string
dbr
:File:6n-graf.svg
dbr
:File:DFAexample.svg
dbr
:File:Blochsphere.svg
dbr
:File:SimplexRangeSearching.svg
dbr
:Wikt:finite
dbr
:File:TSP_Deutschland_3.png
dbr
:Probabilistic_computation
dbr
:Theory_of_Computing_(journal)
dbr
:File:Wang_tiles.svg
dbr
:File:Commutative_diagram_for_morphism.svg
dbr
:Floating_point_number
dbr
:Main_memory
dbr
:Network_coding
dbr
:Space–time
dbr
:Distributed_computation
dbr
:Discrete_Mathematics_and_Theoretical_Computer_Science
dbr
:Donald_Hebb
dbr
:Computational_problems
dbr
:Computer_platform
dbr
:Hebbian_learning
dbr
:Parallel_distributed_processing
dbr
:Parallelism_(computing)
dbr
:Algebraic_data_types
dbr
:Incompleteness_theorem
dbr
:Indefinite_integration
dbr
:Information_theoretic_security
dbr
:Instruction_(computer_science)
dbr
:Instruction_level_parallelism
dbr
:Qubits
dbp:
wikiPageUsesTemplate
dbt
:Authority_control
dbt
:!
dbt
:Main
dbt
:Excerpt
dbt
:Not_a_typo
dbt
:About
dbt
:Computer_science
dbt
:Distinguish
dbt
:"
dbt
:Isbn
dbt
:Rp
dbt
:Short_description
dct:
subject
dbc
:Formal_sciences
dbc
:Theoretical_computer_science
gold:
hypernym
dbr
:Division
rdf:
type
owl
:Thing
owl
:Thing
rdfs:
label
Theoretical computer science
(en)
علم الحاسوب النظري
(ar)
Informàtica teòrica
(ca)
Teoretická informatika
(cs)
Θεωρητική Πληροφορική
(el)
Ciencia computacional teórica
(es)
Theoretische Informatik
(de)
Informatique théorique
(fr)
Informatica teorica
(it)
理論計算機科学
(ja)
이론 컴퓨터 과학
(ko)
Theoretische informatica
(nl)
Informatyka (teoretyczna)
(pl)
Ciência da computação teórica
(pt)
Теоретична інформатика
(uk)
Теоретическая информатика
(ru)
Teoretisk datavetenskap
(sv)
理論計算機科學
(zh)
owl:
differentFrom
dbr
:Theory_of_computation
owl:
sameAs
freebase
:Theoretical computer science
http://d-nb.info/gnd/4196735-5
wikidata
:Theoretical computer science
dbpedia-it
:Theoretical computer science
dbpedia-nl
:Theoretical computer science
dbpedia-de
:Theoretical computer science
dbpedia-fr
:Theoretical computer science
dbpedia-tr
:Theoretical computer science
dbpedia-zh
:Theoretical computer science
dbpedia-ja
:Theoretical computer science
dbpedia-pt
:Theoretical computer science
dbpedia-es
:Theoretical computer science
dbpedia-fa
:Theoretical computer science
dbpedia-ru
:Theoretical computer science
dbpedia-sv
:Theoretical computer science
dbpedia-vi
:Theoretical computer science
dbpedia-pl
:Theoretical computer science
dbpedia-ko
:Theoretical computer science
dbpedia-el
:Theoretical computer science
dbpedia-et
:Theoretical computer science
dbpedia-ca
: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-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
dbr
:Theoretical computer science
prov:
wasDerivedFrom
wikipedia-en
:Theoretical_computer_science?oldid=1293482173&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/6n-graf.svg
wiki-commons
:Special:FilePath/Commutative_diagram_for_morphism.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
:Yuri_Matiyasevich
dbr
:Samson_Abramsky
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:Andris_Ambainis
dbr
:Jennifer_Tour_Chayes
dbr
:Sheila_Greibach
dbr
:Faron_Moller
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:Dexter_Kozen
dbr
:Juhani_Karhumäki
dbr
:Peter_O'Hearn
dbr
:Carel_S._Scholten
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Nitin_Saxena
dbr
:Edsger_W._Dijkstra
dbr
:Martin_Hyland
dbr
:Theory_of_Computing
dbr
:Felipe_Cucker__Felipe_Cucker__1
dbr
:Dana_Randall
dbr
:Avi_Wigderson
dbr
:Carsten_Lund
dbr
:Leslie_Valiant__Leslie_Valiant__1
dbr
:Noga_Alon
dbr
:Rajeev_Motwani
dbr
:Sanjeev_Arora
dbr
:Endre_Szemerédi
dbr
:Rosi_Sexton
dbr
:Sanjeev_Khanna
dbr
:Allan_Borodin
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Gad_Landau
dbr
:Constantinos_Daskalakis
dbr
:Stefan_Szeider
dbr
:Elena_Prieto-Rodriguez
dbr
:Lawrence_L._Larmore
dbr
:Logical_Methods_in_Computer_Science
dbr
:Karl_Bringmann
dbr
:Kasper_Green_Larsen
dbr
:Maria-Florina_Balcan
dbr
:Alan_Selman
dbr
:Michael_D._Atkinson
dbr
:Combinatorics,_Probability_and_Computing
dbr
:Theory_of_Computing_Systems
dbr
:Joseph_S._B._Mitchell
dbr
:Gregory_Gutin
dbr
:Brent_Waters
dbr
:Hans-Jörg_Kreowski
dbr
:RAMiCS
dbr
:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbr
:David_Zuckerman_(computer_scientist)
dbr
:Giovanni_Pighizzini
dbr
:Richard_E._Ladner
dbr
:Thomas_Colcombet
dbr
:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency
is
dbo:
knownFor
of
dbr
:Maurice_Nivat
dbr
:Alexander_Razborov
dbr
:E._M._V._Krishnamurthy
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_scientist
dbr
:Theoretical_computer_scientist
dbr
:Theoretical_Computer_Science
dbr
:Theoretical_Computer_Science
dbr
:Theoretical_Computer_Scientist
dbr
:Computer_science_theory
is
dbo:
wikiPageWikiLink
of
dbr
:Star_height
dbr
:Yuri_Matiyasevich
dbr
:Hadamard_code
dbr
:Jeffrey_Lagarias
dbr
:Currying
dbr
:French_Institute_for_Research_in_Computer_Science_and_Automation
dbr
:Automated_reasoning
dbr
:Samson_Abramsky
dbr
:Noncommutative_signal-flow_graph
dbr
:Michael_Barr_(mathematician)
dbr
:Driver_scheduling_problem
dbr
:International_Symposium_on_Fundamentals_of_Computation_Theory
dbr
:Kleene's_algorithm
dbr
:Nicole_Megow
dbr
:Helmut_Veith
dbr
:The_Turing_Guide
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:Semifield
dbr
:Pattern_language_(formal_languages)
dbr
:Christel_Baier
dbr
:Jin-Yi_Cai
dbr
:Mariangiola_Dezani-Ciancaglini
dbr
:Non-classical_logic
dbr
:Automata_theory
dbr
:Fixed_point_(mathematics)
dbr
:NP-completeness
dbr
:P_versus_NP_problem
dbr
:Epistemic_modal_logic
dbr
:Geocode
dbr
:Michel_Talagrand
dbr
:Maryam_Mirzakhani
dbr
:Quantifier_elimination
dbr
:Branches_of_science
dbr
:Applied_mathematics
dbr
:Machine_learning
dbr
:Dana_Scott
dbr
:Regular_grammar
dbr
:Millennium_Prize_Problems
dbr
:Busy_beaver
dbr
:Rényi_entropy
dbr
:Centrum_Wiskunde_&_Informatica
dbr
:Formal_methods
dbr
:Matrix_multiplication
dbr
:Markov_algorithm
dbr
:Ran_Raz
dbr
:Andris_Ambainis
dbr
:Jennifer_Tour_Chayes
dbr
:Shafi_Goldwasser
dbr
:Sheila_Greibach
dbr
:Ursula_Martin
dbr
:Acta_Informatica
dbr
:Discrete_mathematics
dbr
:Metric_space
dbr
:Numeral_system
dbr
:Subalgebra
dbr
:Trapdoor_function
dbr
:Institute_of_Mathematical_Sciences,_Chennai
dbr
:European_Association_for_Theoretical_Computer_Science
dbr
:Pointed_set
dbr
:Stone_duality
dbr
:SUHA_(computer_science)
dbr
:Parikh's_theorem
dbr
:Paris_Kanellakis
dbr
:Tutte_polynomial
dbr
:Chinese_room
dbr
:Closure_operator
dbr
:Bernhard_Thalheim
dbr
:Ingo_Wegener
dbr
:Computational_science
dbr
:Cook–Levin_theorem
dbr
:Formal_grammar
dbr
:Control_flow
dbr
:Reed–Muller_code
dbr
:Linked_data_structure
dbr
:Mathematical_economics
dbr
:Health_informatics
dbr
:Leibniz_Prize
dbr
:Ernst-Rüdiger_Olderog
dbr
:Ernst_Mayr_(computer_scientist)
dbr
:TUM_School_of_Computation,_Information_and_Technology
dbr
:Boris_Trakhtenbrot
dbr
:Saint_Petersburg_Academic_University
dbr
:Knuth_Prize
dbr
:Abstract_rewriting_system
dbr
:Pseudorandomness
dbr
:Emptiness_problem
dbr
:Dynamic_logic_(digital_electronics)
dbr
:Maurice_Nivat
dbr
:Faron_Moller
dbr
:Formal_semantics_(natural_language)
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:G._Mike_Reed
dbr
:Haim_Gaifman
dbr
:Modal_μ-calculus
dbr
:K-minimum_spanning_tree
dbr
:K-server_problem
dbr
:Patrick_C._Fischer
dbr
:Maximum_common_induced_subgraph
dbr
:List_of_Amherst_College_people
dbr
:Juhani_Karhumäki
dbr
:Reductionism
dbr
:Combinatorics
dbr
:Heinrich_Scholz
dbr
:TCS
dbr
:Otto_von_Guericke_University_Magdeburg
dbr
:Gregory_Chaitin
dbr
:Gödel_Prize
dbr
:Self-hosting_(compilers)
dbr
:Bertrand_du_Castel
dbr
:Peter_O'Hearn
dbr
:Peter_Ružička
dbr
:Math_in_Moscow
dbr
:Science
dbr
:Turing_completeness
dbr
:Kripke_semantics
dbr
:Mathematical_Reviews
dbr
:Scientific_journal
dbr
:Combinatorial_optimization
dbr
:Concurrency_(computer_science)
dbr
:Yuval_Peres
dbr
:Algorithmic_information_theory
dbr
:Partial_function
dbr
:Carel_S._Scholten
dbr
:Multimodal_logic
dbr
:List_of_computer_science_conferences
dbr
:Scott_Aaronson
dbr
:Institute_of_Mathematics_and_Applications,_Bhubaneswar
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Isolation_lemma
dbr
:Arden's_rule
dbr
:Combinatorial_game_theory
dbr
:Formal_science
dbr
:Circuit_complexity
dbr
:Deterministic_finite_automaton
dbr
:Nondeterministic_Turing_machine
dbr
:Probabilistic_Turing_machine
dbr
:Szemerédi_regularity_lemma
dbr
:Neeraj_Kayal
dbr
:Nitin_Saxena
dbr
:Hierarchy_(mathematics)
dbr
:David_Gries
dbr
:Alan_M._Frieze
dbr
:Alasdair_Urquhart
dbr
:Categorical_logic
dbr
:Pierluigi_Crescenzi
dbr
:Probabilistic_bisimulation
dbr
:Proof_complexity
dbr
:International_Symposium_on_Algorithms_and_Computation
dbr
:Long_code_(mathematics)
dbr
:Brzozowski_derivative
dbr
:Alan_Turing
dbr
:Dialectic
dbr
:Dijkstra's_algorithm
dbr
:Edsger_W._Dijkstra
dbr
:Noam_Chomsky
dbr
:Quantum_computing
dbr
:Transition_system
dbr
:Greedy_algorithm
dbr
:Interpretation_(logic)
dbr
:Prefix_grammar
dbr
:Matrix_multiplication_algorithm
dbr
:Subgraph_isomorphism_problem
dbr
:Inverse_semigroup
dbr
:List_of_programmers
dbr
:Actor_model_theory
dbr
:European_Master_Program_in_Computational_Logic
dbr
:Martin_Dyer
dbr
:Martin_Hyland
dbr
:Closest_string
dbr
:Levi's_lemma
dbr
:Theoretical_Computer_Science_(journal)
dbr
:Theory_of_Computing
dbr
:Encompassment_ordering
dbr
:Summer_School_Marktoberdorf
dbr
:Telluride_House
dbr
:Felipe_Cucker
dbr
:Computer_science
dbr
:Dana_Randall
dbr
:Donald_Knuth
dbr
:Sigma
dbr
:Valuation_(measure_theory)
dbr
:David_Hilbert
dbr
:Computer_scientist
dbr
:Alexander_Razborov
dbr
:Alonzo_Church
dbr
:Avi_Wigderson
dbr
:Carsten_Lund
dbr
:Johan_Håstad
dbr
:Julius_Richard_Büchi
dbr
:Juraj_Hromkovič
dbr
:Lance_Fortnow
dbr
:Leslie_Valiant
dbr
:Luca_Trevisan
dbr
:Michael_Sipser
dbr
:Neil_Immerman
dbr
:Nick_Pippenger
dbr
:Noga_Alon
dbr
:Peter_Landin
dbr
:Rajeev_Motwani
dbr
:Ronald_V._Book
dbr
:Sanjeev_Arora
dbr
:Umesh_Vazirani
dbr
:Walter_Savitch
dbr
:Correctness_(computer_science)
dbr
:László_Lovász
dbr
:Multiplication_algorithm
dbr
:Sunflower_(mathematics)
dbr
:Abel_Prize
dbr
:Array_(data_structure)
dbr
:Regular_expression
dbr
:Turing_Award
dbr
:Computational_complexity_theory
dbr
:Monoid
dbr
:Semigroup
dbr
:Andrey_Markov_Jr.
dbr
:Dynamic_logic_(modal_logic)
dbr
:Random-access_stored-program_machine
dbr
:Simulation
dbr
:Boolean_satisfiability_problem
dbr
:Stephen_Cole_Kleene
dbr
:Omega_language
dbr
:Sequence
dbr
:Semi-Thue_system
dbr
:Glossary_of_areas_of_mathematics
dbr
:Register_machine
dbr
:TC_(complexity)
dbr
:Longest_path_problem
dbr
:Solomon_Marcus
dbr
:DFA_minimization
dbr
:International_Journal_of_Foundations_of_Computer_Science
dbr
:International_Journal_of_Software_and_Informatics
dbr
:Introduction_to_the_Theory_of_Computation
dbr
:Literal_movement_grammar
dbr
:Pointer_machine
dbr
:Pseudorandom_generator
dbr
:Pseudorandom_generators_for_polynomials
dbr
:Traveling_purchaser_problem
dbr
:Unavoidable_pattern
dbr
:Sun–Ni_law
dbr
:Approximation_algorithm
dbr
:Endre_Szemerédi
dbr
:Bisimulation
dbr
:Π-calculus
dbr
:Pushdown_automaton
dbr
:Regular_language
dbr
:School_of_Informatics,_University_of_Edinburgh
dbr
:Theory_of_computation
dbr
:Mike_Paterson
dbr
:Automatic_sequence
dbr
:Discrete_system
dbr
:History_of_compiler_construction
dbr
:Evelyn_Nelson_(mathematician)
dbr
:Andreas_Blass
dbr
:Giorgi_Japaridze
dbr
:Discrete_Mathematics_&_Theoretical_Computer_Science
dbr
:Robert_Kleinberg
dbr
:Structural_complexity_theory
dbr
:Stuttering_equivalence
dbr
:Temporal_Process_Language
dbr
:Simplexity
dbr
:Hungarian_Order_of_Saint_Stephen
dbr
:Boolean_algebra
dbr
:Distributed_computing
dbr
:String_(computer_science)
dbr
:Bootstrapping_(compilers)
dbr
:Boolean_domain
dbr
:Istituto_Nazionale_di_Alta_Matematica_Francesco_Severi
dbr
:Level_ancestor_problem
dbr
:Aanderaa–Karp–Rosenberg_conjecture
dbr
:Computational_problem
dbr
:Glossary_of_computer_science
dbr
:British_Colloquium_for_Theoretical_Computer_Science
dbr
:Carl_Herbert_Smith
dbr
:Chaos_computing
dbr
:Rosi_Sexton
dbr
:Ketan_Mulmuley
dbr
:Multiparty_communication_complexity
dbr
:Zdzisław_Pawlak
dbr
:Zvi_Galil
dbr
:Valiant–Vazirani_theorem
dbr
:Banff_International_Research_Station
dbr
:Sanjeev_Khanna
dbr
:Formal_power_series
dbr
:CAP_theorem
dbr
:Crossing_sequence_(Turing_machines)
dbr
:Electronic_Proceedings_in_Theoretical_Computer_Science
dbr
:List_of_University_of_Washington_people
dbr
:List_of_University_of_Wisconsin–Madison_people
dbr
:Nerode_Prize
dbr
:Glossary_of_artificial_intelligence
dbr
:List_of_Marathi_people_in_science,_engineering_and_technology
dbr
:Deaths_in_September_2017
dbr
:Joost-Pieter_Katoen
dbr
:Flajolet_Lecture_Prize
dbr
:Timeline_of_Polish_science_and_technology
dbr
:List_of_University_of_Edinburgh_people
dbr
:Predecessor
dbr
:Ω-automaton
dbr
:Travelling_salesman_problem
dbr
:Shaw_Prize
is
dbp:
discipline
of
dbr
:Innovations_in_Theoretical_Computer_Science
dbr
:Foundations_and_Trends_in_Theoretical_Computer_Science
dbr
:International_Colloquium_on_Automata,_Languages_and_Programming
dbr
:Theory_of_Computing
dbr
:Symposium_on_Theoretical_Aspects_of_Computer_Science
dbr
:Logical_Methods_in_Computer_Science
dbr
:Combinatorics,_Probability_and_Computing
dbr
:Theory_of_Computing_Systems
dbr
:RAMiCS
dbr
:International_Symposium_on_Mathematical_Foundations_of_Computer_Science
dbr
:International_Conference_on_Applicatio..._Theory_of_Petri_Nets_and_Concurrency
is
dbp:
field
of
dbr
:Jennifer_Tour_Chayes
dbr
:Sheila_Greibach
dbr
:Faron_Moller
dbr
:Juhani_Karhumäki
dbr
:Edsger_W._Dijkstra
dbr
:Endre_Szemerédi
dbr
:Allan_Borodin
dbr
:Alan_Selman
dbr
:David_Zuckerman_(computer_scientist)
dbr
:Giovanni_Pighizzini
dbr
:Richard_E._Ladner
dbr
:Thomas_Colcombet
is
dbp:
fields
of
dbr
:Andris_Ambainis
dbr
:Dexter_Kozen
dbr
:Peter_O'Hearn
dbr
:Nitin_Saxena
dbr
:Martin_Hyland
dbr
:Felipe_Cucker
dbr
:Dana_Randall
dbr
:Avi_Wigderson
dbr
:Carsten_Lund
dbr
:Leslie_Valiant
dbr
:Noga_Alon
dbr
:Rajeev_Motwani
dbr
:Sanjeev_Arora
dbr
:Rosi_Sexton
dbr
:Sanjeev_Khanna
dbr
:Gad_Landau
dbr
:Elena_Prieto-Rodriguez
dbr
:Lawrence_L._Larmore
dbr
:Karl_Bringmann
dbr
:Kasper_Green_Larsen
dbr
:Maria-Florina_Balcan
dbr
:Joseph_S._B._Mitchell
dbr
:Brent_Waters
dbr
:Hans-Jörg_Kreowski
is
dbp:
knownFor
of
dbr
:Maurice_Nivat
dbr
:Alexander_Razborov
is
dbp:
mainInterests
of
dbr
:Michael_W._Shields
is
dbp:
occupation
of
dbr
:Alan_Cobham_(mathematician)
is
dbp:
subDiscipline
of
dbr
:Michael_Barr_(mathematician)
dbr
:Jasmin_Blanchette
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