Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,639 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Abstract rewriting system
Automaton
Biological computation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Connectivity of Boolean satisfiability
Konrad W. Schwerdtfeger
arXiv.org
2015
Corpus ID: 17939541
For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the…
Expand
2009
2009
Joint Source-Channel Coding at the Application Layer
Ozgun Y. Bursalioglu
,
Maria Fresia
,
G. Caire
,
H. Poor
Data Compression Conference
2009
Corpus ID: 15894320
The multicasting of an independent and identically distributed Gaussian source over a binary erasure broadcast channel is…
Expand
2005
2005
GeoPKDD Geographic Privacy-aware Knowledge Discovery
F. Giannotti
,
M. Nanni
,
D. Pedreschi
,
C. Renso
2005
Corpus ID: 14528047
A flood of data pertinent to moving objects is available today, and will be more in the near future, particularly due to the…
Expand
2003
2003
Dynamic profiling and trace cache generation
Marc Berndl
,
L. Hendren
International Symposium on Code Generation and…
2003
Corpus ID: 18530790
Dynamic program optimization is increasingly important for achieving good runtime performance. A key issue is how to select which…
Expand
Review
2002
Review
2002
What can automatic programming learn from theoretical computer science
Colin G. Johnson
2002
Corpus ID: 60565611
This paper considers two (seemingly) radically different perspectives on the construction of software. On one hand, search-based…
Expand
1999
1999
People & ideas in theoretical computer science
Cristian S. Calude
1999
Corpus ID: 60291542
The Forbidden Sidetrip (Laszlo Babai).- Elegant Lisp Programs (Gregory J. Chaitin).- From Logic to Computer Science and back…
Expand
1998
1998
Cognitive Units, Concept Images, and Cognitive Collages: An Examination of the Processes of Knowledge Construction
M. McGowen
1998
Corpus ID: 13957223
The fragmentation of strategies that distinguishes the more successful elementary grade students from those least successful has…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1988
1988
Two solvable cases of the Traveling Salesman Problem
G. Rothe
1988
Corpus ID: 14620863
In the Euclidean Traveling Salesman Problem, a set of points in the plane is given, and we look for a shortest closed curve…
Expand
1982
1982
On teaching theoretical foundations of Computer Science
D. Mandrioli
SIGA
1982
Corpus ID: 6998429
Theoretical foundations of Computer Science (Automata Theory, Complexity, Formal Languages . . .) are taught almost everywhere…
Expand