BiLog - A Framework for Structural Logics (talk)


Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk)

Download

[img] PDF biLogPres2.pdf - Other
Download (1MB)

Description/Abstract

Talk given at Forum on Separation Logics, Cambridge 14.03.06

Item Type: Other
Keywords: talk, seminar, vsTalk
Organisations: Web & Internet Science
ePrint ID: 262312
Date :
Date Event
2006Published
Date Deposited: 11 Apr 2006
Last Modified: 17 Apr 2017 21:43
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262312

Actions (login required)

View Item View Item