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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Corradini, Andrea
  • Zantema, Hans
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: 24 Oct 2024 00:27
Published Version: https://doi.org/10.4204/EPTCS.225.6
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Identification Number: 10.4204/EPTCS.225.6
Related URLs:
Open Archives Initiative ID (OAI ID):

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