Intuitionistic Linear Logic for Deductive Databases

D.T. Lee, Chi-Ping Tsang

Research output: Chapter in Book/Conference paperConference paper

408 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of 1994 Western Australian Computer Science Symposium
Place of PublicationPerth, Western Australia
PublisherThe University of Western Australia
Pages185-193
Volume1
Publication statusPublished - 1994
EventIntuitionistic Linear Logic for Deductive Databases -
Duration: 1 Jan 1994 → …

Conference

ConferenceIntuitionistic Linear Logic for Deductive Databases
Period1/01/94 → …

Cite this