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)

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)

Recursed is not recursive: A jarring result
за авторством: Demaine, ED, та інші
Опубліковано: (2022)

On recursion
за авторством: Watumull, Jeffrey, та інші
Опубліковано: (2014)

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)

An Operator Embedding Theorem for Complexity Classes of Recursive Functions
за авторством: Moll, Robert
Опубліковано: (2023)

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)

Recursive soft drop
за авторством: Dreyer, F, та інші
Опубліковано: (2018)

Generalized recursion theory
Опубліковано: (1974)

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)

The emergence of recursion in human language: Mentalising predicts recursive syntax task performance
за авторством: Oesch, N, та інші
Опубліковано: (2016)

Generalized recursion theory II /
за авторством: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), та інші
Опубліковано: (1978)

Recursion and Noticing In Written Feedback
за авторством: Kumar, Vijay, та інші
Опубліковано: (2009)

Admissible ordinals and recursion theory,
за авторством: Simpson, Stephen G. (Stephen George), 1945-
Опубліковано: (2005)

Recursive relational urban design
за авторством: Hillman, Dessen
Опубліковано: (2014)

Recursion and sequentiality in categories of sheaves
за авторством: Matache, C, та інші
Опубліковано: (2021)