Affiliation:
1. Computer Sciences and Mathematics Departments, Purdue University, West Lafayette, IN
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference14 articles.
1. A Machine-Independent Theory of the Complexity of Recursive Functions
2. On Effective Procedures for Speeding Up Algorithms
3. Information-Theoretic Limitations of Formal Systems
4. COLLINS W Elements of provably recursive analysis To appear m Notre Dame Journal of Formal Logic. COLLINS W Elements of provably recursive analysis To appear m Notre Dame Journal of Formal Logic.
5. COLLINS W AND YOUNG P. Discontmmtles of provably correct computable real valued functions In preparation COLLINS W AND YOUNG P. Discontmmtles of provably correct computable real valued functions In preparation
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract Complexity Theory and the Mind-Machine Problem;The British Journal for the Philosophy of Science;1994-06-01
2. Juris Hartmanis: Building a Department—Building a Discipline;Complexity Theory Retrospective;1990
3. Bibliography;Computability, Complexity, Logic;1989
4. Foundational problems from computation theory;Synthese;1985-02
5. Recursion As an Effective Step in Program Development;ACM Transactions on Programming Languages and Systems;1984-01