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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Kirchner, Helene
  • Munoz, Cesar
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 Sep 2025 02:35
Status: Published
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: Plump.IWS.10.pdf

Description: Plump.IWS.10

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Plump.IWS.10]

Export

Statistics


CORE (COnnecting REpositories)