Graph Programs

Plump, Detlef orcid.org/0000-0002-1148-822X (2010) Graph Programs. In: Kirchner, Helene and Munoz, Cesar, (eds.) Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). , pp. 39-44.

Metadata

Authors/Creators:
Dates:
  • Published: 2010
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 14:40
Last Modified: 20 Dec 2023 04:47
Status: Published
Refereed: No
Related URLs:

Download

Filename: Plump.IWS.10.pdf

Description: Plump.IWS.10

Licence: CC-BY 2.5

Export

Statistics