Login / Signup
The equivalence of bar recursion and open recursion.
Thomas Powell
Published in:
Ann. Pure Appl. Log. (2014)
Keyphrases
</>
datalog programs
deductive databases
complex objects
transitive closure
database
machine learning
cooperative
information retrieval
multiscale
search algorithm
probabilistic model
fixpoint