From hyperedge replacement to separation logic and back (2008)

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.14279/tuj.eceasst.16.237.236

Publication URI: http://dx.doi.org/10.14279/tuj.eceasst.16.237.236

Type: Journal Article/Review

Volume: 16

Parent Publication: Electronic Communications of the EASST

ISSN: 18632122