Bar recursion is not computable via iteration.

Published in: CoRR (2018)

Keyphrases

complex objects
deductive databases
transitive closure
iterative process
artificial intelligence
high quality
management system