UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY

Brotherston, J; Calcagno, C; (2010) CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY. LOGICAL METHODS IN COMPUTER SCIENCE , 6 (3) 10.2168/LMCS-6(3:3)2010. Gold open access

Type: Article
Title: CLASSICAL BI: ITS SEMANTICS AND PROOF THEORY
Open access status: An open access publication
DOI: 10.2168/LMCS-6(3:3)2010
Keywords: Science & Technology, Technology, Computer Science, Theory & Methods, Logic, Computer Science, Science & Technology - Other Topics, Classical BI, bunched logic, resource models, display logic, completeness, LOGICS, ALGEBRAS
UCL classification: UCL > School of BEAMS
UCL > School of BEAMS > Faculty of Engineering Science
URI: http://discovery.ucl.ac.uk/id/eprint/1353148
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item