On the adequacy of graph rewriting for simulating term rewriting
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Confluence of graph transformation revisited
Processes, Terms and Cycles
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
DEFINING OPERATIONAL BEHAVIOR OF OBJECT SPECIFICATIONS BY ATTRIBUTED GRAPH TRANSFORMATIONS
Fundamenta Informaticae
EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY
Fundamenta Informaticae
Graph transformation with focus on incident edges
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 5.23 |