Sciweavers

CORR
2008
Springer
140views Education» more  CORR 2008»
14 years 9 months ago
A Cloning Pushout Approach to Term-Graph Transformation
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...
Dominique Duval, Rachid Echahed, Fréd&eacut...
69
Voted
AISC
2006
Springer
15 years 17 days ago
The Confluence Problem for Flat TRSs
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
Ichiro Mitsuhashi, Michio Oyamaguchi, Florent Jacq...