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.
2007
2007
Polynomial Size Analysis of First-Order Functions
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely… 
2007
2007
The quenching of nucleon yields in the nonmesonic weak decay of Λ -hypernuclei and the three-body weak decay process
Abstract.Recent exclusive coincidence measurements of non-mesonic weak decays (NMWD) reported for the ratio of the partial decay… 
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
1998
1998
Cognitive Units, Concept Images, and Cognitive Collages: An Examination of the Processes of Knowledge Construction
The fragmentation of strategies that distinguishes the more successful elementary grade students from those least successful has… 
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)