Skip to search formSkip to main contentSkip to account menu

Theoretical computer science

Known as: Computer science theory, Theoretical Computer Science (disambiguation), Theoretical computer scientist 
Theoretical computer science is a division or subset of general computer science and mathematics that focuses on more abstract or mathematical… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAbstract rewriting systemAutomatonBiological computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2004
2004
Problem-based learning of theoretical computer science
In this paper, we report our first experiment in teaching the theory of computability in the problem-based way. As far as we know… 
Highly Cited
2004
Highly Cited
2004
Probing the history of scanning tunneling microscopy
We present a brief history of the development of scanning tunneling mi- croscopy (STM). These microscopes, developed in 1981 by… 
Review
2003
Review
2003
The Challenges Facing Community Banks: In Their Own Words
Ten years of deregulation, new technology, and increase competition have made the U.S. banking industry a less hospital place for… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
Highly Cited
2002
Highly Cited
2002
Application and Theory of Petri Nets 2002
Cyclic Communicating Processes: A Logical View . . . . . . . . . . . . . . . . .68 P. S. Thiagarajan Is the Die Cast for the… 
2001
2001
Theoretical and experimental FUZZY modelling of building thermal dynamic response
Review
1999
Review
1999
Computation Models and Function Algebras
  • P. Clote
  • Handbook of Computability Theory
  • 1999
  • Corpus ID: 117466473
1991
1991
Abstract interpretation of functional languages: from theory to practice
Interpretation of Functional Languages: From Theory to Practice 
1991
1991
Modular grammars for programming language prototyping
Highly Cited
1987
Highly Cited
1987
Better Expanders and Superconcentrators
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)