Skip to search formSkip to main contentSkip to account menu

Theory of computation

Known as: Computational theory, Computation theory, Theory (disambiguation) 
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ACM Turing AwardAbstract machineAutomata theoryBachelor of Computer Science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Shared Representations of Belief and Their Effects on Action Selection: A Preliminary Computational Cognitive Model
New evidence from cognitive development suggests that action selection is contingent not only on one’s own mental states (e.g… 
2009
2009
Commentary: Research Needed on Cross-Cultural Generational Knowledge Flows
The primary concern for this commentary is to examine and assess the current state of the research performed in the domain of… 
2007
2007
Complexity of Reasoning in Entity Relationship Models
We investigate the complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which… 
2006
2006
Small Sweeping 2NFAs Are Not Closed Under Complement
A two-way nondeterministic finite automaton is sweeping (snfa) if its input head can change direction only on the end-markers… 
2003
2003
Parallelization of the QC-Lib Quantum Computer Simulator Library
We report on work to parallelize QC-lib, a C++ library for the simulation of quantum computers at an abstract functional level… 
Highly Cited
2000
Highly Cited
2000
Function-Follows-Form Transformations in Scientific Problem Solving
This paper presents a pattern of reasoning called “function-follows-form” (FFF) uncovered through a study of scientific problem… 
1999
1999
HYPERCOMPOSITIONAL STRUCTURES FROM THE COMPUTER THEORY
Abstract This paper presents the several types of hypercompositional structures that have been introduced and used for the… 
1994
1994
A computational model for shape estimation by integration of shading and edge information
1994
1994
Stereo Correspondence Based on Line Matching in Hough Space Using Dynamic Programming
This paper presents a method of using Hough space for solving the correspondence problem in stereo vision. It is shown that the… 
1987
1987
Computation Theory and Logic
Minimal pairs for polynomial time reducibilities.- Primitive recursive word-functions of one variable.- Existential fixed-point… 
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)