Skip to main content
eScholarship
Open Access Publications from the University of California

DATA MODELS AND DATA MANIPULATION LANGUAGES: COMPLEMENTARY SEMANTICS AND PROOF THEORY

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View