A Core Calculus for Provenance.

Umut A. Acar Amal Ahmed James Cheney Roly Perera

Published in: POST (2012)

Keyphrases

metadata
fine grained
image sequences
expert systems
algebraic structure
neural network
data structure
data quality
automated deduction