Reasoning about Graph Programs

Plump, Detlef orcid.org/0000-0002-1148-822X (2016) Reasoning about Graph Programs. In: Corradini, Andrea and Zantema, Hans, (eds.) Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 35-44.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: Publisher Copyright: © D. Plump.
Dates:
  • Published: 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Jan 2023 17:00
Last Modified: 07 Dec 2023 15:41
Published Version: https://doi.org/10.4204/EPTCS.225.6
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Refereed: No
Identification Number: https://doi.org/10.4204/EPTCS.225.6
Related URLs:

Downloads

Filename: Plump.TG.16.pdf

Description: Plump.TG.16

Licence: CC-BY 2.5

Filename: Plump.TG.16.pdf

Description: Plump.TG.16

Licence: CC-BY 2.5

Export

Statistics