Skip to content

A Constructive Logic Approach to Database Theory.

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

VenueBLPAR
Year1991
ProceedingsRCLP

Browse the full LPAR paper archive.