Controlling Rewriting by Rewriting
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 169-189
- https://doi.org/10.1016/s1571-0661(04)00039-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Principles of MaudeElectronic Notes in Theoretical Computer Science, 1996
- A compiler for nondeterministic term rewriting systemsPublished by Springer Nature ,1996
- Merging monads and folds for functional programmingPublished by Springer Nature ,1995
- 2OBJ: a metalogical framework theroem prover based on equational logicPhilosophical Transactions A, 1992
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992