BiLog - A Framework for Structural Logics (talk)
BiLog - A Framework for Structural Logics (talk)
Talk given at Forum on Separation Logics, Cambridge 14.03.06
talk, seminar, vsTalk
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
2006
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sassone, V.
(2006)
BiLog - A Framework for Structural Logics (talk).
Abstract
Talk given at Forum on Separation Logics, Cambridge 14.03.06
PDF biLogPres2.pdf
- Other
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.
View more statistics
Library staff edit