On the Origin of Recursive Procedures

Computer Journal - United Kingdom
doi 10.1093/comjnl/bxu145
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Real-Time Recursive Procedures

English

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

A Formalism for Treating Equivalence of Recursive Procedures

RAIRO. Informatique théorique
1985English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1966English

A Note on the Recursive Sequence

Journal of Difference Equations and Applications
Applied MathematicsNumber TheoryAnalysisAlgebra
2012English

The Role of Invasive and Non-Invasive Procedures in Diagnosing Fever of Unknown Origin

International Journal of Medical Sciences
Medicine
2012English

On the Intrinsic Complexity of Learning Recursive Functions

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy