Collapsed Tree Rewriting: Completeness, Confluence, and Modularity

Plump, DETLEF orcid.org/0000-0002-1148-822X (1993) Collapsed Tree Rewriting: Completeness, Confluence, and Modularity. In: Proceedings Conditional Term Rewriting Systems (CTRS 92), Third International Workshop. Lecture Notes in Computer Science. Springer, pp. 97-112.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 1993
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:02
Published Version: https://doi.org/10.1007/3-540-56393-8_7
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/3-540-56393-8_7
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)