Login / Signup
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive ω-Rule.
Zlatan Damnjanovic
Published in:
Notre Dame J. Formal Log. (1998)
Keyphrases
</>
real world
information systems
high level
higher level
machine learning
social networks
data structure
learning environment
genetic programming