mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library

Published in: CoRR (2011)

Keyphrases

fine grained
computer assisted
coarse grained
access control
tightly coupled
concurrency control
massively parallel
database systems
stereo matching