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