On Spector's bar recursion.

Paulo Oliva Thomas Powell

Published in: Math. Log. Q. (2012)

Keyphrases

deductive databases
complex objects
integrity constraints
datalog programs
database
search algorithm
object recognition
transitive closure