2 search results - page 1 / 1 » A Heterogeneous Pushout Approach to Term-Graph Transformatio... |
RTA
2009
Springer
13 years 11 months ago
2009
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, τ, σ) such that L and R are termgraphs represen...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...