Bar recursion is not computable via iteration.

Published in: Comput. (2019)

Keyphrases

complex objects
machine learning
computer vision
transitive closure
objective function
data structure
expert systems
deductive databases
iterative process
turing machine