Local Linear Logic for Locality Consciousness in Multiset Transformation
Local Linear Logic for Locality Consciousness in Multiset Transformation
ISBN 3-540-60359-X
357-379
McEvoy, H.
3ab34d71-1cee-4ea4-9a82-72df5b8f7ac4
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
Hermenegildo, M.
e2d41770-a135-45cb-ba39-b2e8dbe5f8cb
Swierstra, S. D.
86d116aa-6f3f-44e4-9ea9-d607e3bcb750
September 1995
McEvoy, H.
3ab34d71-1cee-4ea4-9a82-72df5b8f7ac4
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
Hermenegildo, M.
e2d41770-a135-45cb-ba39-b2e8dbe5f8cb
Swierstra, S. D.
86d116aa-6f3f-44e4-9ea9-d607e3bcb750
McEvoy, H. and Hartel, P. H.
(1995)
Local Linear Logic for Locality Consciousness in Multiset Transformation.
Hermenegildo, M. and Swierstra, S. D.
(eds.)
Proc. 7th Int. Conf. Programming languages: implementations, logics and programs (PLILP), LNCS 982.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 1995
Additional Information:
Address: Utrecht, The Netherlands
Venue - Dates:
Proc. 7th Int. Conf. Programming languages: implementations, logics and programs (PLILP), LNCS 982, 1995-08-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253241
URI: http://eprints.soton.ac.uk/id/eprint/253241
ISBN: ISBN 3-540-60359-X
PURE UUID: 46cba90c-1f70-4ac6-b44e-7b2328314a98
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:32
Export record
Contributors
Author:
H. McEvoy
Author:
P. H. Hartel
Editor:
M. Hermenegildo
Editor:
S. D. Swierstra
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