Computations in higher types /

Computations in higher types /

41

Bibliographic Details
Main Author:	430417 Moldestad, Johan
Format:
Published:	Berlin : Springer, 1977
Subjects:	Recursive functions

Similar Items

Introduction to computability /
by: 430261 Hennie, Frederick C.
Published: (1977)

Computability and unsolvability /
by: 429964 Davis, Martin
Published: (1958)

Theory of recursive functions and effective computability /
by: 430645 Rogers, Hartley
Published: (1967)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: 430372 Hermes, Hans
Published: (1969)

Computability
by: 8545 Open University. Computing and Computers Course Team
Published: (1973)

Recursiveness /
by: 430157 Eilenberg, Samuel
Published: (1970)

Recursive functions /
by: 430594 Peter, Rozsa
Published: (1967)

Degrees of unsolvability /
by: 430728 Sacks, Gerald E.
Published: (1966)

Generalized recursion theory
Published: (1974)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Constructive order types /
by: 436319 Crossley, John N.
Published: (1969)

Computability : an introduction to recursive function theory /
by: 367112 Cutland, Nigel
Published: (1980)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
by: 429964 Davis, Martin
Published: (1965)

Computability and logic /
by: 386993 Boolos, George, et al.
Published: (1974)

Computability and logic /
by: 386993 Boolos, George, et al.
Published: (1989)

Computability theory : an introduction to recursion theory /
by: 461543 Enderton, Herbert B.
Published: (c201)

Stable recursions : with applications to the numerical solution to stiff systems /
by: 239720 Cash, J. R.
Published: (1979)

Turing machines and functions [filem]
Published: (1973)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
by: 308908 Kleene, Stephen Cole
Published: (1965)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
by: Ahmad Nor Alifa A. Razap, 1984-, et al.
Published: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
by: Ahmad Nor Alifa A. Razap, 1984-
Published: (2011)

Turing machines and functions [kasetvideo]
Published: (1973)

Computability with pascal /
by: 248310 Mallozzi, John S., et al.
Published: (1984)

Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01)

Introduction to the theory of computation /
by: 460476 Engeler, Erwin
Published: (1973)

Recursion on inadmissible ordinals
by: Friedman, Sy David
Published: (2005)

Coupled modes in plasma, elastic media, and parametric amplifiers : a numerical method /
by: 426795 Denman, Eugene D.
Published: (1970)

Identification of processes using fast algorithm for recursive least square/
by: 434783 Chia, Tuck Meng
Published: (1991)

Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2012)

Robot dynamics algorithms/
by: 208907 Featherstone, Roy
Published: (1987)

Identification of non-linear dynamic systems using fuzzy system with constrained membership functions /
by: 487986 Mohd. Shafiek Yaacob
Published: (2004)

Stochastic approximation and recursive algorithms and applications /
by: 272176 Kushner, Harold J., et al.
Published: (2003)

Compiler-based prefetching algorithm for recuresive data structure /
by: 236228 Nurulhaini Anuar
Published: (2007)

Generalized recursion theory II /
by: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Published: (1978)

Recursion-theoretic hierarchies /
by: 366611 Hinman, Peter G.
Published: (1978)

Compiler-based prefetching algorithm for recuresive data structure [electronic resource] /
by: 236228 Nurulhaini Anuar
Published: (2007)

Thinking recursively /
by: 203886 Roberts, Eric
Published: (1986)

Computable analysis /
by: 367053 Aberth, Oliver
Published: (1980)

You can have all of the numbers all of the time [filem]
Published: (1972)

Recursive identification and parameter estimation /
by: 575513 Chen, Hanfu, et al.
Published: (2014)