Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Richard E. Grandy

A Note on the Recursive Unsolvability of Primitive Recursive Arithmetic

Proceedings of the American Mathematical Society

Applied Mathematics

English

Related publications

A Note on the Recursive Sequence

Journal of Difference Equations and Applications

Applied Mathematics

English

Independent Recursive Axiomatizability in Arithmetic

Proceedings of the American Mathematical Society

Applied Mathematics

English

A Note on the Symmetric Recursive Inverse Eigenvalue Problem

SIAM Journal on Matrix Analysis and Applications

English

Proof Without Words: Limit of a Recursive Arithmetic Mean

Mathematics Magazine

English

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

A Recursive Vesicle-Based Model Protocell With a Primitive Model Cell Cycle

Nature Communications

Molecular Biology

English

A Note on a New Class of Recursive Utilities in Markov Decision Processes

Applicationes Mathematicae

English

Recursive Unsolvability of Post's Problem of "Tag" and Other Topics in Theory of Turing Machines

Annals of Mathematics

English

On the Origin of Recursive Procedures

Computer Journal

Computer Science

English