Algebraic File Synchronization: Adequacy and Completeness.

Elöd Pal Csirmaz

Published in: CoRR (2016)

Keyphrases

file system
linear algebra
database
case study
formal proofs
genetic algorithm
data quality
file organizations
information systems
decision making
file formats
algebraic curves
algebraic expressions