Non Recursive Functionals

Non Recursive Functionals

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Bird, R
Формат:	Journal article
Хэвлэсэн:	1975

Ижил төстэй зүйлс

Zippy Tabulations of Recursive Functions
-н: Bird, R
Хэвлэсэн: (2008)

Notes on Recursion Elimination
-н: Bird, R
Хэвлэсэн: (1977)

Recursive functions /
-н: 430594 Peter, Rozsa
Хэвлэсэн: (1967)

Tabulation Techniques for Recursive Programs
-н: Bird, R
Хэвлэсэн: (1980)

Improving Programs by the Introduction of Recursion
-н: Bird, R
Хэвлэсэн: (1977)

Recursion Elimination with Variable Parameters
-н: Bird, R
Хэвлэсэн: (1979)

Reducibilities in recursive function theory.
-н: Jockusch, Carl Groos, Jr
Хэвлэсэн: (2007)

Complexity Classes of Recursive Functions
-н: Moll, Robert
Хэвлэсэн: (2023)

Recursive Functions of Symbolic Expressions and Their Computation
-н: McCarthy, J.
Хэвлэсэн: (2004)

Computability : an introduction to recursive function theory /
-н: 367112 Cutland, Nigel
Хэвлэсэн: (1980)

Theory of recursive functions and effective computability /
-н: 430645 Rogers, Hartley
Хэвлэсэн: (1967)

Recursed is not recursive: A jarring result
-н: Demaine, ED, зэрэг
Хэвлэсэн: (2022)

On recursion
-н: Watumull, Jeffrey, зэрэг
Хэвлэсэн: (2014)

Recursiveness /
-н: 430157 Eilenberg, Samuel
Хэвлэсэн: (1970)

Formal proofs concerning partial recursive functions.
-н: Rotenberg, Leo Joseph
Хэвлэсэн: (2005)

Recursive Functions of Symbolic Expressions and Their Computation by Machine
-н: McCarthy, J.
Хэвлэсэн: (2004)

Pipelined recursive filter : the recursive greedy way of design
-н: Ong, Van Vinh
Хэвлэсэн: (2015)

Primitive Recursion
-н: Levin, Michael
Хэвлэсэн: (2004)

Prosody and recursion
-н: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Хэвлэсэн: (2006)

Thinking recursively /
-н: 203886 Roberts, Eric
Хэвлэсэн: (1986)

An Operator Embedding Theorem for Complexity Classes of Recursive Functions
-н: Moll, Robert
Хэвлэсэн: (2023)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
-н: 430372 Hermes, Hans
Хэвлэсэн: (1969)

Recursive descent compiling /
-н: Davie, A. J. T. (Antony J. T.), 1939-, зэрэг
Хэвлэсэн: (1981)

Recursive Data Structures
-н: Hoare, C
Хэвлэсэн: (1975)

On the asymptotics of the eigenvalue counting function for random recursive Sierpinski gaskets
-н: Hambly, B
Хэвлэсэн: (2000)

Recursive Soft Drop
-н: Necib, Lina, зэрэг
Хэвлэсэн: (2018)

Recursive Robotic Assemblers
-н: Smith, Miana M.
Хэвлэсэн: (2023)

Recursion on inadmissible ordinals
-н: Friedman, Sy David
Хэвлэсэн: (2005)

Games for recursive types
-н: Abramsky, S, зэрэг
Хэвлэсэн: (1995)

Categories in recursion theory,
-н: Wasserman, Michael Gary.
Хэвлэсэн: (2020)

Recursive interlocking puzzles
-н: Song, Peng., зэрэг
Хэвлэсэн: (2013)

Responsibility and the recursion problem
-н: Davies, B
Хэвлэсэн: (2021)

Induction, recursion and programming /
-н: 403876 Mitchell, Wand

Generalized recursion theory
Хэвлэсэн: (1974)

Recursive soft drop
-н: Dreyer, F, зэрэг
Хэвлэсэн: (2018)

Logic, sets, and recursion /
-н: 332434 Causey, Robert L.
Хэвлэсэн: (2006)

E-recursively enumerable degrees
-н: Griffor, Edward R.
Хэвлэсэн: (2005)

Learning augmented recursive estimation for unceratin non-linear dynamic systems
-н: Draper, Stark Christiaan
Хэвлэсэн: (2007)

Unifying Structured Recursion Schemes
-н: Hinze, R, зэрэг
Хэвлэсэн: (2013)

Unifying Structured Recursion Schemes
-н: Hinze, R, зэрэг
Хэвлэсэн: (2013)