An implementation of the entity relationship model in type theory

P. Rajagopalan, Chi-Ping Tsang

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Not available
Editors	R. Tucker
Place of Publication	Melbourne
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	322-326
Volume	1
Publication status	Published - 1992
Event	An implementation of the entity relationship model in type theory - Duration: 1 Jan 1992 → …

Conference	An implementation of the entity relationship model in type theory
Period	1/01/92 → …

Cite this

@inproceedings{947a8449eb734a5fa17663afd9d28a39,

title = "An implementation of the entity relationship model in type theory",

author = "P. Rajagopalan and Chi-Ping Tsang",

year = "1992",

language = "English",

volume = "1",

pages = "322--326",

editor = "R. Tucker",

booktitle = "Not available",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

note = "An implementation of the entity relationship model in type theory ; Conference date: 01-01-1992",

}

TY - GEN

T1 - An implementation of the entity relationship model in type theory

AU - Rajagopalan, P.

AU - Tsang, Chi-Ping

PY - 1992

Y1 - 1992

M3 - Conference paper

VL - 1

SP - 322

EP - 326

BT - Not available

A2 - Tucker, R.

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Melbourne

T2 - An implementation of the entity relationship model in type theory

Y2 - 1 January 1992

ER -