From Hyperedge Replacement to Separation Logic and Back

Plump, Detlef orcid.org/0000-0002-1148-822X and Dodds, Michael orcid.org/0000-0002-4439-0130 (2009) From Hyperedge Replacement to Separation Logic and Back. Electronic Communications of the EASST. ISSN 1863-2122

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • Published: 2009
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 13 Jan 2023 09:10
Last Modified: 25 Feb 2024 00:08
Published Version: https://doi.org/10.14279/tuj.eceasst.16.237
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.14279/tuj.eceasst.16.237
Related URLs:

Download

Published Version

Filename: DoddsPlump.ICGT_DS.08.pdf

Description: DoddsPlump.ICGT_DS.08

CLICK TO DOWNLOAD [img]

Export

Statistics


CORE (COnnecting REpositories)