Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,163,676 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.
2010
2010
Dynamic adsorption of Pb(II) ions from aqueous solution using activated carbon beds
Meenakshi Goyal
,
M. Bhagat
2010
Corpus ID: 9082543
The dynamic adsorption of Pb(II) ions from aqueous solutions using a granulated activated carbon and an activated carbon cloth…
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
2004
2004
Problem-based learning of theoretical computer science
W. Hamalainen
34th Annual Frontiers in Education, . FIE .
2004
Corpus ID: 40674993
In this paper, we report our first experiment in teaching the theory of computability in the problem-based way. As far as we know…
Expand
2002
2002
Some Convergence Issues in Theoretical Computer Science
A. Seda
2002
Corpus ID: 59723300
We consider the role of convergence in the theory of computation. Abstract notions of convergence are known to be able to unify…
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
Mercedes A. 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. 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
1987
1987
A mathematical theory of synchronous concurrent algorithms
B. Thompson
1987
Corpus ID: 60993747
A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicating processes or modules…
Expand
Review
1983
Review
1983
Introductory theory of computer science
E. Krishnamurthy
1983
Corpus ID: 58229540
{REPLACEMENT-(...)-( )} Introductory theory of computer science Computing History This course provides a challenging introduction…
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