Origin tracking
- 1 May 1993
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 15 (5-6) , 523-545
- https://doi.org/10.1016/s0747-7171(06)80004-0
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A graph reduction approach to incremental term rewritingPublished by Springer Nature ,1993
- The syntax definition formalism SDF—reference manual—ACM SIGPLAN Notices, 1989
- Conditional rewrite rules: Confluence and terminationJournal of Computer and System Sciences, 1986
- Computing in systems described by equationsLecture Notes in Computer Science, 1977