Non Recursive Functionals

Non Recursive Functionals

Manylion Llyfryddiaeth
Prif Awdur:	Bird, R
Fformat:	Journal article
Cyhoeddwyd:	1975

Eitemau Tebyg

Zippy Tabulations of Recursive Functions
gan: Bird, R
Cyhoeddwyd: (2008)

Notes on Recursion Elimination
gan: Bird, R
Cyhoeddwyd: (1977)

Tabulation Techniques for Recursive Programs
gan: Bird, R
Cyhoeddwyd: (1980)

Improving Programs by the Introduction of Recursion
gan: Bird, R
Cyhoeddwyd: (1977)

Recursion Elimination with Variable Parameters
gan: Bird, R
Cyhoeddwyd: (1979)

Reducibilities in recursive function theory.
gan: Jockusch, Carl Groos, Jr
Cyhoeddwyd: (2007)

Complexity Classes of Recursive Functions
gan: Moll, Robert
Cyhoeddwyd: (2023)

Recursive Functions of Symbolic Expressions and Their Computation
gan: McCarthy, J.
Cyhoeddwyd: (2004)

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

Recursed is not recursive: A jarring result
gan: Demaine, ED, et al.
Cyhoeddwyd: (2022)

On recursion
gan: Watumull, Jeffrey, et al.
Cyhoeddwyd: (2014)

Formal proofs concerning partial recursive functions.
gan: Rotenberg, Leo Joseph
Cyhoeddwyd: (2005)

Recursive Functions of Symbolic Expressions and Their Computation by Machine
gan: McCarthy, J.
Cyhoeddwyd: (2004)

Pipelined recursive filter : the recursive greedy way of design
gan: Ong, Van Vinh
Cyhoeddwyd: (2015)

Primitive Recursion
gan: Levin, Michael
Cyhoeddwyd: (2004)

Prosody and recursion
gan: Wagner, Michael, Ph. D. Massachusetts Institute of Technology
Cyhoeddwyd: (2006)

An Operator Embedding Theorem for Complexity Classes of Recursive Functions
gan: Moll, Robert
Cyhoeddwyd: (2023)

Recursive descent compiling /
gan: Davie, A. J. T. (Antony J. T.), 1939-, et al.
Cyhoeddwyd: (1981)

Recursive Data Structures
gan: Hoare, C
Cyhoeddwyd: (1975)

On the asymptotics of the eigenvalue counting function for random recursive Sierpinski gaskets
gan: Hambly, B
Cyhoeddwyd: (2000)

Recursive Soft Drop
gan: Necib, Lina, et al.
Cyhoeddwyd: (2018)

Recursive Robotic Assemblers
gan: Smith, Miana M.
Cyhoeddwyd: (2023)

Recursion on inadmissible ordinals
gan: Friedman, Sy David
Cyhoeddwyd: (2005)

Games for recursive types
gan: Abramsky, S, et al.
Cyhoeddwyd: (1995)

Categories in recursion theory,
gan: Wasserman, Michael Gary.
Cyhoeddwyd: (2020)

Recursive interlocking puzzles
gan: Song, Peng., et al.
Cyhoeddwyd: (2013)

Responsibility and the recursion problem
gan: Davies, B
Cyhoeddwyd: (2021)

Recursive soft drop
gan: Dreyer, F, et al.
Cyhoeddwyd: (2018)

Generalized recursion theory
Cyhoeddwyd: (1974)

Logic, sets, and recursion /
gan: 332434 Causey, Robert L.
Cyhoeddwyd: (2006)

E-recursively enumerable degrees
gan: Griffor, Edward R.
Cyhoeddwyd: (2005)

Learning augmented recursive estimation for unceratin non-linear dynamic systems
gan: Draper, Stark Christiaan
Cyhoeddwyd: (2007)

Unifying Structured Recursion Schemes
gan: Hinze, R, et al.
Cyhoeddwyd: (2013)

Unifying Structured Recursion Schemes
gan: Hinze, R, et al.
Cyhoeddwyd: (2013)

The emergence of recursion in human language: Mentalising predicts recursive syntax task performance
gan: Oesch, N, et al.
Cyhoeddwyd: (2016)

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

Recursion and Noticing In Written Feedback
gan: Kumar, Vijay, et al.
Cyhoeddwyd: (2009)

Admissible ordinals and recursion theory,
gan: Simpson, Stephen G. (Stephen George), 1945-
Cyhoeddwyd: (2005)

Recursive relational urban design
gan: Hillman, Dessen
Cyhoeddwyd: (2014)

Recursion and sequentiality in categories of sheaves
gan: Matache, C, et al.
Cyhoeddwyd: (2021)