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. |