Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gauthier van den Hove
On the Origin of Recursive Procedures
Computer Journal
Computer Science
Related publications
Real-Time Recursive Procedures
Proof Rules for Recursive Procedures
Formal Aspects of Computing
Theoretical Computer Science
Software
A Formalism for Treating Equivalence of Recursive Procedures
RAIRO. Informatique théorique
Predicate Transformers for Recursive Procedures With Local Variables
Formal Aspects of Computing
Theoretical Computer Science
Software
Automatic Verification of Recursive Procedures With One Integer Parameter
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Note on the Recursive Sequence
Journal of Difference Equations and Applications
Applied Mathematics
Number Theory
Analysis
Algebra
The Role of Invasive and Non-Invasive Procedures in Diagnosing Fever of Unknown Origin
International Journal of Medical Sciences
Medicine
On the Intrinsic Complexity of Learning Recursive Functions
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
