Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems

Plump, Detlef orcid.org/0000-0002-1148-822X (1991) Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. In: Proceedings Conditional and Typed Rewriting Systems (CTRS 1990). Lecture Notes in Computer Science. Springer, pp. 307-317.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 1991
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 28 Jul 2026 16:00
Last Modified: 30 Jul 2026 11:09
Published Version: https://doi.org/10.1007%2F3-540-54317-1_100
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/3-540-54317-1_100
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)