Theoretical computer science

Property	Value
rdf:type	owl:NamedIndividual Work Publication Formal science
rdfs:label	Theoretical computer science
owl:sameAs	dbr:Theoretical_computer_science
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Computer_mathematics http://en.wikipedia.org/wiki/Toyota_Technological_Institute_at_Chicago http://en.wikipedia.org/wiki/TUM_Department_of_Informatics http://en.wikipedia.org/wiki/Ray_Turner_(computer_scientist) http://en.wikipedia.org/wiki/List_of_academic_fields http://en.wikipedia.org/wiki/Saint_Petersburg_Academic_University http://en.wikipedia.org/wiki/Informatics http://en.wikipedia.org/wiki/Index_of_branches_of_science http://en.wikipedia.org/wiki/Category:Formal_sciences http://en.wikipedia.org/wiki/Computer_scientist http://en.wikipedia.org/wiki/Institute_of_Mathematics,_Physics,_and_Mechanics http://en.wikipedia.org/wiki/Workshop_on_Logic,_Language,_Information_and_Computation http://en.wikipedia.org/wiki/International_Journal_of_Algebra_and_Computation http://en.wikipedia.org/wiki/Solomon_Marcus
skos:prefLabel	Theoretical computer science
skos:altLabel	Programming theoretical computer science Conferences theoretical computer science theoretical computer scientist Theoretical Computation Theoretical Computer Science basic research in Computer Science theoretical models of computation Theoretical Computer Science, Logic, Language, Information and Computation
is owl:hasValue of	Restriction onProperty=academicDiscipline hasValue=Theoretical computer science
is clgo:academicDiscipline of	Samson Abramsky International Workshop on First-Order Theorem Proving European Symposium on Algorithms Combinatorics, Probability and Computing Stefan Szeider Andris Ambainis Gregory Gutin Symposium on Logic in Computer Science Noga Alon Joseph S. B. Mitchell Symposium on Foundations of Computer Science Constantinos Daskalakis International Conference on Developments in Language Theory International Symposium on Graph Drawing Symposium on Principles of Distributed Computing Carsten Lund Allan Borodin Giovanni Pighizzini Logical Methods in Computer Science Maria-Florina Balcan Innovations in Theoretical Computer Science Symposium on Theoretical Aspects of Computer Science Thomas Colcombet Theory of Computing Systems Workshop on Logic, Language, Information and Computation Felipe Cucker Karl Bringmann Richard E. Ladner Hans-Jörg Kreowski Nitin Saxena Sheila Greibach Brent Waters Symposium on Discrete Algorithms Algorithmic Number Theory Symposium Endre Szemerédi Dana Randall Symposium on Theory of Computing Martin Hyland International Joint Conference on Automated Reasoning Descriptional Complexity of Formal Systems International Conference on Automated Reasoning with Analytic Tableaux and Related Methods International Symposium on Mathematical Foundations of Computer Science Alan Selman Symposium on Computational Geometry Logic for Programming, Artificial Intelligence and Reasoning Lawrence L. Larmore Peter O'Hearn International Symposium on Fundamentals of Computation Theory Sanjeev Khanna Conference on Implementation and Application of Automata Symposium on Parallelism in Algorithms and Architectures International Colloquium on Automata, Languages and Programming Interactive Theorem Proving (conference) Conference on Automated Deduction International Conference on Rewriting Techniques and Applications International Symposium on Symbolic and Algebraic Computation International Conference on Theory and Applications of Models of Computation RAMiCS Avi Wigderson Edsger W. Dijkstra International Conference on Applications and Theory of Petri Nets and Concurrency Carel S. Scholten Sanjeev Arora Kasper Green Larsen Yuri Matiyasevich Theory of Computing Rosi Sexton David Zuckerman (computer scientist) Gad Landau Jennifer Tour Chayes Foundations and Trends in Theoretical Computer Science SWAT and WADS conferences Juhani Karhumäki International Symposium on Distributed Computing Computer Aided Verification Computational Complexity Conference Rajeev Motwani
is clgo:knownFor of	Maurice Nivat E. M. V. Krishnamurthy Andreas Blass Alexander Razborov
is clgo:occupation of	Alan Cobham (mathematician)
is clgo:type of	Simons Institute for the Theory of Computing

About: clgr:Theoretical_computer_science