Sassone, V. (2006) BiLog - A Framework for Structural Logics (talk).
Record type:
Other
Abstract
Talk given at Forum on Separation Logics, Cambridge 14.03.06
More information
Published date: 2006
Keywords:
talk, seminar, vsTalk
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 262312
URI: https://eprints.soton.ac.uk/id/eprint/262312
PURE UUID: 1eb126c2-d0f1-4dc0-8ae6-9bed7b1aae71
Catalogue record
Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52
Export record
Contributors
Author:
V. Sassone
University divisions
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.