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… 
2003
2003
Dynamic profiling and trace cache generation
Dynamic program optimization is increasingly important for achieving good runtime performance. A key issue is how to select which… 
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… 
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… 
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… 
1995
1995
The Programming Environment of the SB-PRAM
The SB-PRAM realizes the theoretical CRCW-PRAM computing model. In this paper the SB-PRAM system is described from a programmer's… 
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)