Login / Signup
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library.
Jesse Alama
Published in:
Calculemus/MKM (2011)
Keyphrases
</>
fine grained
computer assisted
coarse grained
access control
tightly coupled
databases
pairwise
concurrency control
user intent
data lineage