Login / Signup
An Application of Constructive Completeness.
Thierry Coquand
Jan M. Smith
Published in:
TYPES (1995)
Keyphrases
</>
data quality
data sets
query processing