Safe recursion revisited I: Categorical semantics for lower complexity.

Mike Burrell J. Robin B. Cockett Brian F. Redmond

Published in: Theor. Comput. Sci. (2014)

Keyphrases

lower complexity
low complexity
data complexity
computational complexity
deductive databases
logic programming
expressive power
degraded images
compression ratio
knowledge base
image sequences
optimal solution
image compression
transitive closure
datalog programs