Solving the Database Update Problem Using Linear Logic

D.-T. Lee, Chi-Ping Tsang

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

Original language	English
Title of host publication	ADC'96 - Seventh Annual Database Conference Proceedings
Editors	R. Toper
Place of Publication	Melbourne, Australia
Publisher	Australian Computer Science Communications
Pages	131-139
Volume	18/2
Edition	Melbourne, Australia
ISBN (Print)	01573055
Publication status	Published - 1996
Event	Solving the Database Update Problem Using Linear Logic - Melbourne, Australia Duration: 1 Jan 1996 → …

Conference	Solving the Database Update Problem Using Linear Logic
Period	1/01/96 → …

Cite this

@inproceedings{22d78f04b115458288d133346d9a7744,

title = "Solving the Database Update Problem Using Linear Logic",

author = "D.-T. Lee and Chi-Ping Tsang",

year = "1996",

language = "English",

isbn = "01573055",

volume = "18/2",

pages = "131--139",

editor = "R. Toper",

booktitle = "ADC'96 - Seventh Annual Database Conference Proceedings",

publisher = "Australian Computer Science Communications",

edition = "Melbourne, Australia",

note = "Solving the Database Update Problem Using Linear Logic ; Conference date: 01-01-1996",

}

TY - GEN

T1 - Solving the Database Update Problem Using Linear Logic

AU - Lee, D.-T.

AU - Tsang, Chi-Ping

PY - 1996

Y1 - 1996

M3 - Conference paper

SN - 01573055

VL - 18/2

SP - 131

EP - 139

BT - ADC'96 - Seventh Annual Database Conference Proceedings

A2 - Toper, R.

PB - Australian Computer Science Communications

CY - Melbourne, Australia

T2 - Solving the Database Update Problem Using Linear Logic

Y2 - 1 January 1996

ER -