Towards Constructive Axiomatic Specifications.
Clesio Saraiva dos Santos, Antnio L. Furtado, Jos Mauro Volkmer de Castilho, Sergio E. R. de Carvalho
VenueA*SIGMOD
Year1980
ProceedingsWorkshop on Data Abstraction, Databases and Conceptual Modelling
DBLP recordconf/sigmod/SantosFCC80 ↗
Browse the full SIGMOD paper archive.