A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
An Overview of the Theory of Computational Complexity
Journal of the ACM (JACM)
Subrecursive Programming Languages, Part I: efficiency and program structure
Journal of the ACM (JACM)
On the Structure of Polynomial Time Reducibility
Journal of the ACM (JACM)
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
On the time and tape complexity of languages I
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Type two computational complexity
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
On classes of computable functions
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
On the Problem of Finding Natural Computational Complexity Measures
On the Problem of Finding Natural Computational Complexity Measures
RELATIVIZATION OF THE THEORY OF COMPUTATION COMPLEXITY
RELATIVIZATION OF THE THEORY OF COMPUTATION COMPLEXITY
Formal languages and their relation to automata
Formal languages and their relation to automata
On the density of honest subrecursive classes
Journal of Computer and System Sciences
Augmented loop languages and classes of computable functions
Journal of Computer and System Sciences
Implicit Computational Complexity for Higher Type Functionals
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
The basic feasible functionals in computable analysis
Journal of Complexity
Resource Restricted Computability Theoretic Learning: Illustrative Topics and Problems
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Feasible Iteration of Feasible Learning Functionals
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Complexity theory for operators in analysis
Proceedings of the forty-second ACM symposium on Theory of computing
Feasible functions over co-inductive data
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Axiomatizing resource bounds for measure
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Complexity Theory for Operators in Analysis
ACM Transactions on Computation Theory (TOCT)
Andrzej Grzegorczyk's Contribution to Computer Science
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Hi-index | 0.00 |
The reducibility ''polynomial time computable in'' for arbitrary functions isintroduced. It generalizes Cook's definition from sets to arbitrary functions. A complexity-theoretic as well as a syntactic characterization is given and their equivalence is shown. This equivalence and the naturalness of both definitions give evidence that our notion is ''correct.'' The computable functions are classified into polynomial classes according to this reducibility. The ordering of these classes under set inclusion is studied. Honest classes are introduced and using them, the classification is related to the computational complexity of the functions classified. The algebraic structure of honest classes is also investigated. In Section II abstract subrecursive reducibilities are introduced. An axiomaticdefinition in purely recursion-theoretic terms is given; in particular, no reference to a particular machine model is needed. The definition is in the spirit of Strong's and Wagner's characterizations of basic recursive function theories. All known reducibilities are abstract reducibilities. The algebraic structure of abstract classes is explored.