1993
The adequacy of term graph rewriting for simulating term rewriting
Publication
Publication
| Additional Metadata | |
|---|---|
| Wiley | |
| Wiley Professional Computing | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Kennaway, R., Klop, J. W., Sleep, R., & de Vries, F.-J. (1993). The adequacy of term graph rewriting for simulating term rewriting. In Term graph rewriting (pp. 157–169). Wiley. |
|