Login / Signup
Program Schemas with Equality
Ashok K. Chandra
Zohar Manna
Published in:
STOC (1972)
Keyphrases
</>
computer programs
databases
database
programming environment
data sets
real world
information retrieval
multiscale
data sources
data integration