Higher order logic representation of OO Database schemas

H. Balsters, D. Spelt

Research output: Book/Report › Report › Professional

Original language	Undefined
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	12
Publication status	Published - 1996

Name	CTIT Technical report Series
No.	96-15
ISSN (Print)	1381-3625

Keywords

@book{948c8017339f4e26bc7fbbc2adf05330,

title = "Higher order logic representation of OO Database schemas",

keywords = "METIS-122009",

author = "H. Balsters and D. Spelt",

year = "1996",

language = "Undefined",

series = "CTIT Technical report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "96-15",

address = "Netherlands",

}