Start Over
You searched for: subject "Recursive functions"

Search Results

Cover image for Quotient-difference type generalizations of the power method and their analysis

Quotient-difference type generalizations of the power method and their analysis

Location
Access Content Online
Cover image for Quotient-difference type generalizations of the power method and their analysis

Quotient-difference type generalizations of the power method and their analysis

Location Call # Status
Joyner - Microforms B300 NAS 1.15:102361 ✔ Available
Cover image for Theory of recursive functions and effective computability

Theory of recursive functions and effective computability

Location Call # Status
Joyner - General Stacks QA248.5 .R6 ✔ Available
Cover image for Undecidability of the Domino Problem

Undecidability of the Domino Problem

Location
Access Content Online
Cover image for Recursion on the Countable Functionals

Recursion on the Countable Functionals

Location
Access Content Online
Cover image for Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Location
Access Content Online
Cover image for Recursive methods in economic dynamics

Recursive methods in economic dynamics

Location Call # Status
Joyner - General Stacks HB135.S7455 1989 ✔ Available
Cover image for The foundations of intuitionistic mathematics

The foundations of intuitionistic mathematics

Location Call # Status
Joyner - General Stacks QA9.K648 ✔ Available
Cover image for Les fonctions combinatoires et les isols

Les fonctions combinatoires et les isols

Location Call # Status
Joyner - General Stacks QA248.5 .D38 ✔ Available
Cover image for Computations in higher types

Computations in higher types

Location
Access Content Online