BiLog - A Framework for Structural Logics (talk)


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

Download

[img] PDF
Download (1394Kb)

Description/Abstract

Talk given at Forum on Separation Logics, Cambridge 14.03.06

Item Type: Other
Keywords: talk, seminar, vsTalk
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 262312
Date Deposited: 11 Apr 2006
Last Modified: 27 Mar 2014 20:05
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262312

Actions (login required)

View Item View Item