Login / Signup
Type-2 Computability and Moore's Recursive Functions.
Akitoshi Kawamura
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
recursive functions
inductive inference
information systems
case study