Solving the Database Update Problem Using Linear Logic

D.-T. Lee, Chi-Ping Tsang

Research output: Chapter in Book/Conference paperConference paper

Original languageEnglish
Title of host publicationADC'96 - Seventh Annual Database Conference Proceedings
EditorsR. Toper
Place of PublicationMelbourne, Australia
PublisherAustralian Computer Science Communications
Pages131-139
Volume18/2
EditionMelbourne, Australia
ISBN (Print)01573055
Publication statusPublished - 1996
EventSolving the Database Update Problem Using Linear Logic - Melbourne, Australia
Duration: 1 Jan 1996 → …

Conference

ConferenceSolving the Database Update Problem Using Linear Logic
Period1/01/96 → …

Cite this

Lee, D-T., & Tsang, C-P. (1996). Solving the Database Update Problem Using Linear Logic. In R. Toper (Ed.), ADC'96 - Seventh Annual Database Conference Proceedings (Melbourne, Australia ed., Vol. 18/2, pp. 131-139). Melbourne, Australia: Australian Computer Science Communications.