Complete Strategies for Term Graph Narrowing

Plump, Detlef orcid.org/0000-0002-1148-822X and Habel, Annegret (1999) Complete Strategies for Term Graph Narrowing. In: Recent Trends in Algebraic Development Techniques (WADT 1998), Selected Papers. Lecture Notes in Computer Science. Springer, pp. 152-167.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 1999
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 20 Jul 2026 13:00
Last Modified: 20 Jul 2026 19:01
Published Version: https://doi.org/10.1007/3-540-48483-3_11
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/3-540-48483-3_11
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)