BiLog - A Framework for Structural Logics (talk)

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

Download

PDF
Download (1394Kb)

Talk given at Forum on Separation Logics, Cambridge 14.03.06

Item Type:	Other
Keywords:	talk, seminar, vsTalk
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
Item ID:	262312
Date Deposited:	11 Apr 2006
Last Modified:	01 Mar 2012 23:17
Contributors:	Sassone, V. (Author)
Date:	2006
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/262312

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

View Item